summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGravatar Arthur A. Gleckler 2022-12-09 10:42:43 -0800
committerGravatar Arthur A. Gleckler 2022-12-09 10:42:43 -0800
commite0c3017c8f9602144c5b5de91a45d7be6c272627 (patch)
tree4cf837a3f1708bffa35e22e1e52b1da940e52661
parentMerge pull request #5 from dpk/master (diff)
Publish fifth draft.draft-5
-rw-r--r--index.html4
-rw-r--r--srfi-228.html3
2 files changed, 3 insertions, 4 deletions
diff --git a/index.html b/index.html
index d6b8c75..09335e1 100644
--- a/index.html
+++ b/index.html
@@ -27,6 +27,4 @@
<li><span class="firefox-column-workaround">
<form method="POST" action="https://www.simplelists.com/subscribe.php">
<div class="title">Unsubscribe from srfi-228 mailing list</div><input name="email" placeholder="email address" tabindex="5" type="email"><input class="submit" name="submit" tabindex="6" type="submit" value="Unsubscribe from srfi-228"><input type="hidden" name="action" value="unsubscribe"><input name="list" type="hidden" value="srfi-228@srfi.schemers.org"></form></span></li></ul>
- <h2>Abstract</h2><p>Further procedures for defining <a href="https://srfi.schemers.org/srfi-128/">SRFI 128</a> comparators.
-
-<p>Best enjoyed in combination with <a href="https://srfi.schemers.org/srfi-162/">SRFI 162</a>.</body></html> \ No newline at end of file
+ <h2>Abstract</h2><p>Further procedures for defining <a href="https://srfi.schemers.org/srfi-128/">SRFI 128</a> comparators. <p>Best enjoyed in combination with <a href="https://srfi.schemers.org/srfi-162/">SRFI 162</a>.</body></html> \ No newline at end of file
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>