-$navi-width: 11em;
-$navi-indent: 1.2em;
-$frame-max-width: 50em;
-$intrusion-width: 0.8em;
-$outer-margin: 0.8em;
-$full-content-width: $frame-max-width + $navi-width + 2*$outer-margin + $intrusion-width;
-
-$frame-color: #121212;
-$title-color: #08f;
-$navi-color: #36ff00;
-$current-color: #ffa700;
-$background-color: white;
-$text-color: #313131;
-$code-background-color: #505050;
-$light-text-color: #888;
-$link-color: #268BD2;
-