11 border: 1px solid #aaa;
19 #settings-annotations {@include switch-on;}
21 #settings-annotations {@include switch-off;}
22 .annotation {display: none;}
25 #settings-themes {@include switch-on;}
27 #settings-themes {@include switch-off;}
30 #settings-line-numbers {@include switch-on;}
31 .always-hide-line-numbers {
32 #settings-line-numbers {@include switch-off;}