style: A bunch of general improvements to the CSS

This commit is contained in:
Yuki Joou 2023-09-04 11:29:26 +02:00
parent 75a7672f97
commit e821d43c77

View file

@ -27,6 +27,7 @@ body {
color: var(--foreground-color); color: var(--foreground-color);
font-family: sans-serif, sans; font-family: sans-serif, sans;
line-height: 150%;
} }
header { header {
@ -85,6 +86,16 @@ a {
color: var(--link-color); color: var(--link-color);
} }
sup {
/* Hack I don't totally understand to make superscripts look better */
/* Stolen partially from https://gist.github.com/unruthless/413930 */
font-size: 50%;
vertical-align: baseline;
line-height: 0;
position: relative;
top: -0.8em;
}
ul#menubar { ul#menubar {
width: 100%; width: 100%;
margin: 0; margin: 0;