Update css

This commit is contained in:
2018-02-23 15:42:20 -05:00
parent 2522eb7da1
commit 0114b21336
7 changed files with 32 additions and 38 deletions
+5 -5
View File
@@ -4,12 +4,12 @@
@charset "utf-8";
$base-font-family: "Open Sans", "Helvetica Neue", "DejaVu Sans", Arial, "PingFang SC", "Noto Sans CJK SC", "Hiragino Sans GB", "微软雅黑", Helvetica, sans-serif;
$base-font-size: 16px;
$base-font-size: 15px;
$small-font-size: $base-font-size * 0.875;
$base-line-height: 1.5;
$code-font-family: Menlo, Monaco, Consolas, "DejaVu Sans Mono", "Liberation Mono", "文泉驿等宽微米黑", "Courier New", Courier, SimSun, monospace;
$code-font-size: 15px;
$code-font-size: 12px;
// Width of the content area
$content-width: 800px;
@@ -20,9 +20,9 @@ $on-laptop: 800px;
$color-link: #036;
$color-link-hover: #069;
$header-bg: #607D8B;
$header-bg-hover: #78909C;
$header-link: #CFD8DC;
$header-bg: rgba(53, 0, 138, 0.89);
$header-bg-hover: rgb(43, 0, 112);
$header-link: rgb(255, 255, 255);
$header-fg: #FFF;
@mixin media-query($device) {