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; |