panels have bottom margin

simplify the theme, always use complete frames
and drop the now unised *-mini-* prefixes

Change-Id: I2b85e3561adc6cb910dc12866f246ce1c9fd9c7a
This commit is contained in:
Marco Martin 2015-04-07 21:31:47 +02:00
parent 684e456f84
commit 7ea2e8f028
2 changed files with 0 additions and 0 deletions