| Index: skin/options.css |
| =================================================================== |
| --- a/skin/options.css |
| +++ b/skin/options.css |
| @@ -617,6 +617,14 @@ |
| padding-bottom: 0px; |
| } |
| +#restart-safari |
| +{ |
| + color: red; |
| + font-weight: bold; |
|
Thomas Greiner
2016/03/31 14:24:57
Detail: We're using numeric values for `font-weigh
Sebastian Noack
2016/03/31 14:45:38
Not sure, if I agree to that practice. But done.
|
| + -moz-margin-start: 20px; |
| + -webkit-margin-start: 20px; |
|
Thomas Greiner
2016/03/31 14:24:57
Detail: According to our coding style, box model s
Sebastian Noack
2016/03/31 14:45:38
Done.
|
| +} |
| + |
| #filter-lists > div |
| { |
| display: none; |