+++ /dev/null
-@mixin switch-on {
- background: #aaa;
-}
-@mixin switch-off {
- background: none;
-}
-.settings-switch {
- display: block;
- padding: .5em;
- margin: .5em;
- border: 1px solid #aaa;
- border-radius: 1em;
-}
-
-nav #menu-settings {
- display: none;
-}
-
-#settings-annotations {@include switch-on;}
-.no-annotations {
- #settings-annotations {@include switch-off;}
- .annotation {display: none;}
-}
-
-#settings-themes {@include switch-on;}
-.always-hide-themes {
- #settings-themes {@include switch-off;}
-}
-
-#settings-line-numbers {@include switch-on;}
-.always-hide-line-numbers {
- #settings-line-numbers {@include switch-off;}
-}
-
-