diff options
Diffstat (limited to 'doc/txt/txt.css')
-rw-r--r-- | doc/txt/txt.css | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/doc/txt/txt.css b/doc/txt/txt.css index bb1bfd9..6f11930 100644 --- a/doc/txt/txt.css +++ b/doc/txt/txt.css @@ -7,16 +7,3 @@ 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; -} |