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
3c555f0ab9
Org: html, check for TOC before JS assumes exists
2021-04-24 02:06:22 +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
TEC
1962cb211b
Org: HTML, add Expat licence magnet to included JS
2021-04-17 13:39:37 +08:00
TEC
7e9b00e2fc
Org: Add link preview (variant on https:)
...
Twitter-style
2021-04-04 16:48:49 +08:00
TEC
5d3828ef28
Org html: update readme and licence of style
2021-01-09 01:15:45 +08:00
TEC
8e512c703b
Org html: add scss save hook, make css and reload
2021-01-09 01:15:03 +08:00
TEC
fa3aff5b3d
Org html: subtlety restyle links
...
and remove FF61- ::-moz selectors
2021-01-09 00:47:47 +08:00
TEC
b3d0469229
Org html: delete/comment out some unused CSS
2021-01-09 00:14:21 +08:00
TEC
ed693f4698
Org html: Upgrade normalise from v7 to v8
...
Then modify by removing references to elements that are not generated by
Org, and IE-only mitigations (I do *not* care about IE).
2021-01-09 00:02:11 +08:00
TEC
f2092071ba
Typo fix: clipboard not clipdord
2021-01-08 22:03:38 +08:00
TEC
3688bb0f53
Rename misc/pile-css-theme/ to misc/org-css/
2021-01-08 19:56:53 +08:00