Issue 3880 - Improve behavior of Safari content blocker option

skin/options.css

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-2016 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 601 matching lines @@
   Advanced tab content
 */
 
 #tweaks.table li
 {
   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-weight` for consistency.

[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 styles should be placed above
colors and typography.

[Sebastian Noack, 2016/03/31 14:45:38]

Done.

+  color: red;
+  font-weight: 600;
 }
 
 #filter-lists > div
 {
   display: none;
 }
 
 body[data-tab="advanced-allFilterLists"] #all-filter-lists,
 body[data-tab="advanced-customFilters"] #custom-filters
 {
@@ skipping 686 matching lines @@
 #other-language .button-add::before
 {
   display: none;
 }
 
 #other-language .display
 {
   -webkit-margin-start: 10px;
   -moz-margin-start: 10px;
 }