diff options
| -rw-r--r-- | doc/txt/txt.css | 13 |
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; +} |