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;
-}