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