This repository has been archived on 2020-05-08. You can view files and clone it, but cannot push or open issues or pull requests.
|
$font__main: sans-serif;
|
|
$font__code: monaco, consolas, "Andale Mono", "DejaVu Sans Mono", monospace;
|
|
$font__pre: "Courier 10 Pitch", courier, monospace;
|
|
$font__line-height-body: 1.5;
|
|
$font__line-height-pre: 1.6;
|