diff options
| author | 2022-12-09 10:42:43 -0800 | |
|---|---|---|
| committer | 2022-12-09 10:42:43 -0800 | |
| commit | e0c3017c8f9602144c5b5de91a45d7be6c272627 (patch) | |
| tree | 4cf837a3f1708bffa35e22e1e52b1da940e52661 /srfi-228.html | |
| parent | Merge pull request #5 from dpk/master (diff) | |
Publish fifth draft.draft-5
Diffstat (limited to 'srfi-228.html')
| -rw-r--r-- | srfi-228.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/srfi-228.html b/srfi-228.html index ba3074d..1d43d68 100644 --- a/srfi-228.html +++ b/srfi-228.html @@ -14,7 +14,7 @@ var { font-family: serif; font-style: italic; - font-size-adjust: ex-height; + font-size-adjust: ex-height 0.5; } </style> <meta name="viewport" content="width=device-width, initial-scale=1"></head> @@ -33,6 +33,7 @@ <li>Draft #2 published: 2022-02-26</li> <li>Draft #3 published: 2022-11-14</li> <li>Draft #4 published: 2022-11-30</li> + <li>Draft #5 published: 2022-12-09</li> </ul> <h2 id="abstract">Abstract</h2> |
