Minor fixes.
@@ -16,7 +16,7 @@ p, p:first-child {
margin-top: -40px; margin-bottom: 0; text-shadow: none; - font-weight: normal; + font-weight: 400; font-family: @monospace-font; font-size: 85%; color: @gray-e;
@@ -46,11 +46,10 @@ }
pre { .mix-responsive; + .mix-monospace; color: @dark-gray; white-space: pre-wrap; margin: auto; - font-family: @monospace-font; - @font-weight: 400; padding: 0; code { box-shadow: none;@@ -125,10 +124,9 @@ font-family: "Font Awesome 5 Brands";
} code, span.code { + .mix-monospace; color: @dark-gray; margin: 2px 0px; - font-family: @monospace-font; - @font-weight: 400; font-size: 85%; .mix-hyphens(none); }@@ -190,8 +188,7 @@ span.tt, span.cmd,
span.opt, span.arg, span.kwd, span.ext, span.file, span.dir { font-size: 90%; - font-family: @monospace-font; - @font-weight: 400; + .mix-monospace; .mix-hyphens(none); }
@@ -23,6 +23,11 @@ margin: 0 auto;
} } +.mix-monospace { + font-family: @monospace-font; + font-weight: 300; +} + .mix-no-border-radius { -webkit-border-radius: 0px; -moz-border-radius: 0px;@@ -69,7 +74,6 @@
.mix-titled-block (@bg-color, @fg-color, @border-color, @icon){ .mix-box(@bg-color, @fg-color, @border-color); - font-size: 90%; p { margin: 0 auto; &:first-child {@@ -77,6 +81,10 @@ font-weight: bold;
color: @fg-color; .mix-symbol(@icon, @fg-color) } + } + pre, code { + font-size: 400; + color: darken(@fg-color, 10%); } a { color: darken(@fg-color, 15%);
@@ -3188,6 +3188,10 @@ }
.fab { font-family: 'Font Awesome 5 Brands'; } +.mix-monospace { + font-family: "Source Code Pro", "Monaco", "DejaVu Sans Mono", "Courier New", monospace; + font-weight: 300; +} .mix-no-border-radius { -webkit-border-radius: 0px; -moz-border-radius: 0px;@@ -3296,10 +3300,11 @@ margin: 10px 0;
font-style: italic; } pre { + font-family: "Source Code Pro", "Monaco", "DejaVu Sans Mono", "Courier New", monospace; + font-weight: 300; color: #222; white-space: pre-wrap; margin: auto; - font-family: "Source Code Pro", "Monaco", "DejaVu Sans Mono", "Courier New", monospace; padding: 0; } @media screen and (max-width: 639px) {@@ -3384,9 +3389,10 @@ font-family: "Font Awesome 5 Brands";
} code, span.code { + font-family: "Source Code Pro", "Monaco", "DejaVu Sans Mono", "Courier New", monospace; + font-weight: 300; color: #222; margin: 2px 0px; - font-family: "Source Code Pro", "Monaco", "DejaVu Sans Mono", "Courier New", monospace; font-size: 85%; -webkit-hyphens: none; -moz-hyphens: none;@@ -3506,6 +3512,7 @@ span.file,
span.dir { font-size: 90%; font-family: "Source Code Pro", "Monaco", "DejaVu Sans Mono", "Courier New", monospace; + font-weight: 300; -webkit-hyphens: none; -moz-hyphens: none; -ms-hyphens: none;@@ -3730,7 +3737,6 @@ text-shadow: 0 1px 0 rgba(255, 255, 255, 0.8);
color: #264c72; background-color: #d8ebf8; border: 1px solid #A4D1EF; - font-size: 90%; } .note code, .note samp,@@ -3758,6 +3764,11 @@ font-size: 100%;
color: #264c72; content: "\f08d" " "; } +.note pre, +.note code { + font-size: 400; + color: #19324c; +} .note a { color: #132639; }@@ -3775,7 +3786,6 @@ text-shadow: 0 1px 0 rgba(255, 255, 255, 0.8);
color: #009926; background-color: #d8f5cd; border: 1px solid #B0EB99; - font-size: 90%; } .tip code, .tip samp,@@ -3803,6 +3813,11 @@ font-size: 100%;
color: #009926; content: "\f058" " "; } +.tip pre, +.tip code { + font-size: 400; + color: #006619; +} .tip a { color: #004d13; }@@ -3820,7 +3835,6 @@ text-shadow: 0 1px 0 rgba(255, 255, 255, 0.8);
color: #705400; background-color: #FFEBAD; border: 1px solid #FFDB70; - font-size: 90%; } .warning code, .warning samp,@@ -3848,6 +3862,11 @@ font-size: 100%;
color: #705400; content: "\f071" " "; } +.warning pre, +.warning code { + font-size: 400; + color: #3d2e00; +} .warning a { color: #241b00; }@@ -3865,7 +3884,6 @@ text-shadow: 0 1px 0 rgba(255, 255, 255, 0.8);
color: #555; background-color: #f8f8f8; border: 1px solid #f8f8f8; - font-size: 90%; } .sidebar code, .sidebar samp,@@ -3893,6 +3911,11 @@ font-size: 100%;
color: #555; content: "\f05a" " "; } +.sidebar pre, +.sidebar code { + font-size: 400; + color: #3b3b3b; +} .sidebar a { color: #2f2f2f; }@@ -3967,7 +3990,7 @@ .terminal p:first-child {
margin-top: -40px; margin-bottom: 0; text-shadow: none; - font-weight: normal; + font-weight: 400; font-family: "Source Code Pro", "Monaco", "DejaVu Sans Mono", "Courier New", monospace; font-size: 85%; color: #eee;@@ -4029,7 +4052,7 @@ .terminal-su p:first-child {
margin-top: -40px; margin-bottom: 0; text-shadow: none; - font-weight: normal; + font-weight: 400; font-family: "Source Code Pro", "Monaco", "DejaVu Sans Mono", "Courier New", monospace; font-size: 85%; color: #eee;