--- 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: #F7F7F7; $link-color: #237fbf; $light-link-color: #69a7d2; /* Include the actual styles */ @import "normalize", "base", "layout", "syntax-highlighting" ;