d5de86f0c65fccd7590a05008f187fa88461741c
custom.css
... | ... | @@ -9,7 +9,7 @@ button[id="minibutton-latest-changes"] { |
9 | 9 | } |
10 | 10 | |
11 | 11 | button[id="minibutton-history"] { |
12 | - display; none; |
|
12 | + display: none; |
|
13 | 13 | } |
14 | 14 | |
15 | 15 | body, html, |