+++ /dev/null
----
-hide: true
----
-@charset "utf-8";
-
-/* Variables */
-$navi-width: 11em;
-$navi-indent: 1.2em;
-$frame-max-width: 50em;
-$intrusion-width: 1.0em;
-$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: #F0F0F0;
-$link-color: #237fbf;
-$light-link-color: #69a7d2;
-
-/* Include the actual styles */
-@import
- "normalize",
- "base",
- "layout",
- "syntax-highlighting"
-;