From 6e49bb887ad2f9a55eebb258ce3f5945718df24a Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Wed, 29 May 2024 19:10:27 -0700 Subject: [PATCH] Remove CSS --- doc/fmt.css | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 doc/fmt.css 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; -}