$color-bg: #fff;
$color-bg-html: #eee;
$color-fg: #111;
$color-link: #336DBE;
$color-bg-tint: mix($color-link, $color-bg, 25%);
$color-border: #c0c0c0;

$padding: 0.4em;
$spacer: 1.5em;

@import 'base';
@import 'layout';
@import 'bar';
@import 'tree';
@import 'user';