$small-width: $frame-max-width + 2*$outer-margin;
$medium-width: $small-width + $intrusion-width + $navi-width;
-$background-color: white;
-$text-color: #313131;
+$background-color: #fafafa;
+$text-color: #303030;
$light-text-color: #808080;
$code-background-color: #F0F0F0;
$link-color: #237fbf;