9 $frame-max-width: 50em;
10 $intrusion-width: 1.0em;
13 $small-width: $frame-max-width + 2*$outer-margin;
14 $medium-width: $small-width + $intrusion-width + $navi-width;
16 $background-color: white;
18 $light-text-color: #808080;
19 $code-background-color: #F0F0F0;
21 $light-link-color: #69a7d2;
23 /* Include the actual styles */