TEC
6d03df917a
Org html: improve quality of image inversion
2020-08-12 18:06:12 +08:00
TEC
50c40bc294
Org html: add authinfo label
2020-08-10 00:37:27 +08:00
TEC
37c62772e5
Org html: remove hidden src code lang from DOM
2020-07-19 18:08:30 +08:00
TEC
8411cbcd74
Org html: add ID links to tables
2020-07-19 17:57:31 +08:00
TEC
d069406997
Org html: switch doctype to html5
2020-07-19 16:24:39 +08:00
TEC
4e85c08915
Org html: rematch img invert to background
...
and speed up theme transition, fixind incorrect
transition-property value
2020-07-19 15:38:46 +08:00
TEC
f2e69592bd
Org: better IDs, html: links to code block
2020-07-19 13:22:36 +08:00
TEC
2c1ec8424c
Org html: tweak styling
...
- switch dark/light icons and add hover text
- darken TOC text
- make white shadow on link text only on hover
- remove obsolete TOC code
- make all TOC entries take up 100% width
2020-07-18 16:17:27 +08:00
TEC
9ba5a35f96
Org html: add copy button to src/example block
2020-07-18 03:05:47 +08:00
TEC
0c93a6b858
Org html: revamp TOC
2020-07-17 23:20:09 +08:00
TEC
6a1d1f29f5
Org html: make section numbering responsive
2020-07-17 14:32:02 +08:00
TEC
af0b4f4649
Org html: forgot to style some elements
2020-07-17 13:34:20 +08:00
TEC
cadf494253
Org html: improve code placement in paragraphs
2020-07-17 12:24:48 +08:00
TEC
19001f137a
Org html: make src lang labels lang not mode
2020-07-17 12:00:15 +08:00
TEC
c95045f4d1
Org html: TOC items must have a clear background
...
+ some re-generation of some html
2020-07-17 05:44:42 +08:00
TEC
91944dc020
Org html: mitigate <summary> differences in Chrome
2020-07-17 05:29:32 +08:00
TEC
015c33d780
Org html code fold marker: tweak placement
2020-07-17 05:12:46 +08:00
TEC
17f550d0ad
Org html: handle wide table overflow
2020-07-17 05:08:30 +08:00
TEC
5f0b3bbba1
Org html export: make src blocks collapsable
2020-07-17 04:44:56 +08:00
TEC
21ee9a4f99
Adapt pile-theme to my liking, and use with org
2020-07-17 02:42:14 +08:00
TEC
903a06b894
Steal @lepisma's lovely org CSS theme
2020-07-15 18:27:33 +08:00