try to have better readability

This commit is contained in:
Yann Esposito (Yogsototh) 2022-01-20 10:37:43 +01:00
parent 444548b8f5
commit 60392ea438
Signed by untrusted user who does not match committer: yogsototh
GPG Key ID: 7B19A4C650D59646
1 changed files with 6 additions and 2 deletions

View File

@ -1,7 +1,7 @@
html {
font-family: Georgia, serif;
font-size: 18px;
line-height: calc(1ex/0.37);
line-height: calc(1ex/0.25);
}
#TOC {text-align: left;}
html,body { margin: 0; padding: 0; border: 0; }
@ -116,7 +116,11 @@ body, body > div {
background: var(--bg);
color: var(--fg);
}
a,a:visited { color: var(--fg); }
a,a:visited { padding: 0 3px; border: solid 1px var(--bg); }
a { color: var(--b); }
a:hover { border-color: var(--b); }
a:visited { color: var(--v); }
a:visited:hover { border-color: var(--v); }
/* ---- SYNTAX HIGHLIGHTING ---- */
.ex { color:var(--v); }
.op, .fu, .ot {color:var(--b);}