+/* Variables */
+$navi-width: 11em;
+$navi-indent: 1.2em;
+$frame-max-width: 50em;
+$intrusion-width: 1.0em;
+$outer-margin: 0.8em;
+
+$small-width: $frame-max-width + 2*$outer-margin;
+$medium-width: $small-width + $intrusion-width + $navi-width;
+
+$background-color: white;
+$text-color: #313131;
+$light-text-color: #808080;
+$code-background-color: #F7F7F7;
+$link-color: #268BD2;
+