commit ab6481e5eb127cdba6dad06ab6b26a97f1edff0e
parent 289dc2c671263df851a64b2abd9d95e6132b637a
Author: Jake Bauer <jbauer@paritybit.ca>
Date: Tue, 5 May 2020 02:21:34 -0400
Various CSS Changes
Add scrollbar styling, make <pre> print better, add max() for font-size
so that it will respect the user's choice.
Diffstat:
1 file changed, 16 insertions(+), 4 deletions(-)
diff --git a/style/main.css b/style/main.css
@@ -9,12 +9,16 @@
--hov-link: #80ccff;
--notice-bg: #224499;
--border-dark: #585858;
- --font-size: 20px;
- --small-font: 0.9em;
+ --font-size: max(18px, 100%);
+ --small-font: 0.8em;
--large-font: 1.1em;
--line-height: 1.3em;
}
+html {
+ scrollbar-color: var(--unvis-link) transparent;
+}
+
body {
background-color: var(--bg);
color: var(--fg);
@@ -61,10 +65,10 @@ li a, .feed-item {
pre {
background-color: var(--code);
font-family: "DejaVu Sans Mono", monospace;
- overflow-x: auto;
+ overflow: auto;
+ padding: 1em;
border: 2px var(--border-dark) solid;
border-radius: 5px;
- padding: 1em;
text-indent: -0.25em; /*Needed otherwise first line indented for some reason*/
}
@@ -107,6 +111,11 @@ select {
height: 1.8em;
}
+h2 {
+ font-style: oblique;
+ margin-bottom: 0.1em;
+}
+
.badge {
display: inline-block;
margin: 5px;
@@ -192,6 +201,9 @@ select {
body {
font-size: 16px;
}
+ pre {
+ white-space: pre-wrap;
+ }
}
@media only screen and (max-width: 600px) {
#table-of-contents {