1 files changed, 0 insertions, 15 deletions
diff --git a/doc/arch.css b/doc/arch.css
deleted file mode 100644
index 25720b2..0000000
--- a/doc/arch.css
+++ /dev/null
@@ -1,15 +0,0 @@
-html {
-    font-family: serif;
-    margin-left: 4em;
-    margin-right: 4em;
-}
-
-h1, h2, h3 {
-    font-family: sans-serif;
-    margin-top: 2em;
-}
-
-
-h1 { font-size: 3em; }
-h2 { font-size: 2em; }
-h3 { font-size: 1em; }