$navi-indent: 1.2em;
$frame-max-width: 50em;
$intrusion-width: 1.0em;
-$outer-margin: 0.8em;
+$outer-margin: 1.1em;
$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;
+$code-background-color: #F0F0F0;
$link-color: #237fbf;
$light-link-color: #69a7d2;