Tony Garnock-Jones
|
7096f5f1a4
|
Remove page-break override
|
2018-09-24 19:54:43 +01:00 |
Tony Garnock-Jones
|
f3424e7dfc
|
Improve formatting now that section numbers exist
|
2018-09-24 19:54:23 +01:00 |
Tony Garnock-Jones
|
378b8351ac
|
RFC7159 -> RFC8259
|
2018-09-24 19:12:43 +01:00 |
Tony Garnock-Jones
|
accaa03f5c
|
Specially number appendices
|
2018-09-24 19:12:29 +01:00 |
Tony Garnock-Jones
|
1d48216700
|
Tweaks; python mapping
|
2018-09-24 18:34:07 +01:00 |
Tony Garnock-Jones
|
1e47286e2e
|
Single-colon pseudoselectors
|
2018-09-24 18:11:34 +01:00 |
Tony Garnock-Jones
|
afac7c5de1
|
Fix the jolly section numbering
|
2018-09-24 18:11:19 +01:00 |
Tony Garnock-Jones
|
1988607d7f
|
Split out CSS; attempt to get section numbering (grrr!)
|
2018-09-24 16:45:39 +01:00 |
Tony Garnock-Jones
|
f38aac1e19
|
Minor print layout tweaks, and minor content fixes
|
2018-09-24 16:08:48 +01:00 |
Tony Garnock-Jones
|
80fb72f782
|
Tighten
|
2018-09-24 15:33:19 +01:00 |
Tony Garnock-Jones
|
f84f495c93
|
Literal small integers
|
2018-09-24 14:09:26 +01:00 |
Tony Garnock-Jones
|
86f5fd5a11
|
Trim and improve
|
2018-09-24 12:59:22 +01:00 |
Tony Garnock-Jones
|
907bdb2cde
|
Tweak print stylesheet
|
2018-09-24 10:36:10 +01:00 |
Tony Garnock-Jones
|
97791bb20a
|
Print makefile
|
2018-09-23 22:56:41 +01:00 |
Tony Garnock-Jones
|
25560810ea
|
Tweaks for Chrome and for print
|
2018-09-23 22:56:36 +01:00 |
Tony Garnock-Jones
|
8353dc07ac
|
Fixes
|
2018-09-23 22:44:43 +01:00 |
Tony Garnock-Jones
|
7b1be3aab6
|
Progress
|
2018-09-23 22:35:00 +01:00 |
Tony Garnock-Jones
|
1cb37ecee3
|
Many improvements
|
2018-09-23 18:14:58 +01:00 |
Tony Garnock-Jones
|
998b7269e3
|
move codec.md together with preserve.md
|
2018-09-23 14:39:46 +01:00 |
Tony Garnock-Jones
|
9255ce1a72
|
preserve.md based on codec.md which I'm about to check in
|
2018-09-23 14:37:20 +01:00 |
Tony Garnock-Jones
|
9b4a4a2cc4
|
Rename codec --> preserve
|
2018-08-27 10:24:11 +01:00 |
Tony Garnock-Jones
|
cb185fcd3d
|
Explore struct inheritance
|
2018-08-21 10:54:17 +01:00 |
Tony Garnock-Jones
|
7c4b9577c8
|
Better codec
|
2018-08-19 22:13:42 +01:00 |