summary refs log tree commit diff
path: root/doc/txt/txt.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/txt/txt.css')
-rw-r--r--doc/txt/txt.css13
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/txt/txt.css b/doc/txt/txt.css
index 6f11930..bb1bfd9 100644
--- a/doc/txt/txt.css
+++ b/doc/txt/txt.css
@@ -7,3 +7,16 @@ h3 {
 	background-color: white;
 	padding-left: 0.7em;
 }
+
+/* Those two are hacks, they were added
+   for the Memory section of il.html
+ */
+
+ul {
+	margin-bottom: 1em;
+	margin-top: 1em;
+}
+
+ul:last-child {
+	margin: 0;
+}