diff options
| author | 2012-10-30 22:09:53 +0100 | |
|---|---|---|
| committer | 2012-10-30 22:09:53 +0100 | |
| commit | 3a8a6d2d56c468af924936a80e110727bc503594 (patch) | |
| tree | 827a066df9d9ebdee64d703c94698f76853b3cdb /public/theme/base.css | |
| parent | 2f1a8c3d74f99ca80a13d7bc90251fa7285007d6 (diff) | |
petite correction du menu de gauche
Diffstat (limited to 'public/theme/base.css')
| -rw-r--r-- | public/theme/base.css | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/public/theme/base.css b/public/theme/base.css index 12dff63cd..4e06670c2 100644 --- a/public/theme/base.css +++ b/public/theme/base.css @@ -180,13 +180,11 @@ form { #main_aside { position: fixed; } - #menu { - height: 92%; + #categories { + height: 69%; overflow: auto; + border-top: 1px solid #aaa; } - #menu li.all { - border-top: 1px solid #aaa; - } #main { display: table-cell; height: 100%; |
