change the meaning of pre for regsub slightly

2016-06-15 14:52:45 +02:00
parent 06e212c66e
commit bc67317b0b
3 changed files with 119 additions and 100 deletions
--- a/doc/stream.css
+++ b/doc/stream.css
@ -88,6 +88,16 @@ code {
    text-align:left;
 }

+.box {
+    margin-left:1ex;
+    margin-right:1ex;
+    margin-top:0.5ex;
+    padding: 0 1ex;
+    border: 1px solid black;
+    text-align:left;
+    background-color:#f0f0f0;
+}
+
 #navleft {
    position:fixed;
    left:0;