diff --git a/doc/fmt.css b/doc/fmt.css
deleted file mode 100644
index 41cc8a20..00000000
--- a/doc/fmt.css
+++ /dev/null
@@ -1,9 +0,0 @@
-code.grammar {
-  display: block;
-  padding: 1em;
-  font-size: .8em;
-}
-
-code.grammar::first-line {
-  line-height: 0;
-}