add link to the rustonomicon example
[web.git] / ralf / style.scss
index ff9ad1b9d2dafa91c69461e4c175d9d852662966..0b350e870fc916c893262c6c6345ed4d09fd04f2 100644 (file)
@@ -8,7 +8,7 @@ $navi-width:      11em;
 $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;