Loading doc/style.css +42 −42 Original line number Diff line number Diff line Loading @@ -113,7 +113,7 @@ html { body { font-size: 1rem; font-family: 'Roboto', sans-serif; font-family: "Roboto", sans-serif; font-weight: 300; color: #000000; background-color: #ffffff; Loading Loading @@ -214,7 +214,7 @@ h6 { font-weight: 800; line-height: 110%; margin-bottom: 1rem; font-size: 120% font-size: 120%; } strong { Loading pkgs/misc/documentation-highlighter/mono-blue.css +12 −12 Original line number Diff line number Diff line pre code.hljs { display: block; overflow-x: auto; padding: 1em padding: 1em; } code.hljs { padding: 3px 5px padding: 3px 5px; } /* Five-color theme from a single blue hue. */ .hljs { background: #eaeef3; color: #00193a color: #00193a; } .hljs-keyword, .hljs-selector-tag, Loading @@ -20,10 +20,10 @@ code.hljs { .hljs-doctag, .hljs-name, .hljs-strong { font-weight: bold font-weight: bold; } .hljs-comment { color: #738191 color: #738191; } .hljs-string, .hljs-title, Loading @@ -37,7 +37,7 @@ code.hljs { .hljs-name, .hljs-selector-id, .hljs-selector-class { color: #0048ab color: #0048ab; } .hljs-meta, .hljs-subst, Loading @@ -49,8 +49,8 @@ code.hljs { .hljs-template-variable, .hljs-link, .hljs-bullet { color: #4c81c9 color: #4c81c9; } .hljs-emphasis { font-style: italic font-style: italic; } Loading
doc/style.css +42 −42 Original line number Diff line number Diff line Loading @@ -113,7 +113,7 @@ html { body { font-size: 1rem; font-family: 'Roboto', sans-serif; font-family: "Roboto", sans-serif; font-weight: 300; color: #000000; background-color: #ffffff; Loading Loading @@ -214,7 +214,7 @@ h6 { font-weight: 800; line-height: 110%; margin-bottom: 1rem; font-size: 120% font-size: 120%; } strong { Loading
pkgs/misc/documentation-highlighter/mono-blue.css +12 −12 Original line number Diff line number Diff line pre code.hljs { display: block; overflow-x: auto; padding: 1em padding: 1em; } code.hljs { padding: 3px 5px padding: 3px 5px; } /* Five-color theme from a single blue hue. */ .hljs { background: #eaeef3; color: #00193a color: #00193a; } .hljs-keyword, .hljs-selector-tag, Loading @@ -20,10 +20,10 @@ code.hljs { .hljs-doctag, .hljs-name, .hljs-strong { font-weight: bold font-weight: bold; } .hljs-comment { color: #738191 color: #738191; } .hljs-string, .hljs-title, Loading @@ -37,7 +37,7 @@ code.hljs { .hljs-name, .hljs-selector-id, .hljs-selector-class { color: #0048ab color: #0048ab; } .hljs-meta, .hljs-subst, Loading @@ -49,8 +49,8 @@ code.hljs { .hljs-template-variable, .hljs-link, .hljs-bullet { color: #4c81c9 color: #4c81c9; } .hljs-emphasis { font-style: italic font-style: italic; }