TEC
429f4f4df8
ox-html: CSS style tweaks
2022-06-28 23:10:11 +08:00
TEC
2ff4da21fc
Org html style: update generated CSS files
2022-04-12 11:39:28 +08:00
TEC
b26454324a
Org html styling: tweak subtitle selector
2022-04-12 11:39:13 +08:00
TEC
80d431feee
Org html style: kbd should inherit font-weight
2022-04-12 11:37:22 +08:00
TEC
5cf6d6143b
Org html style: tweak code summary marker position
2022-04-12 11:36:30 +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
7e9b00e2fc
Org: Add link preview (variant on https:)
...
Twitter-style
2021-04-04 16:48:49 +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
3688bb0f53
Rename misc/pile-css-theme/ to misc/org-css/
2021-01-08 19:56:53 +08:00