TEC
2ff4da21fc
Org html style: update generated CSS files
2022-04-12 11:39:28 +08:00
TEC
be914efb61
Org: html, make verbatim padding size-proportional
2021-04-26 04:20:42 +08:00
TEC
d2bf2b84db
Org: html, set default link colour to inherit
2021-04-26 04:20:17 +08:00
TEC
e64acc205b
Org: html, all footnotes deserve some space
2021-04-26 02:05:37 +08:00
TEC
2247fb8b64
Org: html style, !important wasn't applied well
...
I tried to fix squiggly links by adding an !important ... but I added it
to the wrong declaration. It should be better now.
2021-04-26 02:05:02 +08:00
TEC
2020ba6a11
Org: html, reduce top padding of asides
2021-04-24 02:43:19 +08:00
TEC
396bf48872
Org: html styling, a small collection of changes
...
+ Use appropriate fallback fonts for sans/serif
+ It's really important that we get the right size background-image
+ Otherwise it can cover the whole link when combined with other rules
+ A bit of autoformatting
+ Tweaks to formatting of music entries
2021-04-23 22:42:02 +08:00
TEC
882295ecde
Org: HTML, use compressed CSS
2021-04-17 13:39:43 +08:00