diff options
Diffstat (limited to 'crawl-ref/source/util/lua/doc/manual.css')
-rw-r--r-- | crawl-ref/source/util/lua/doc/manual.css | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/crawl-ref/source/util/lua/doc/manual.css b/crawl-ref/source/util/lua/doc/manual.css deleted file mode 100644 index eed5afd9ee..0000000000 --- a/crawl-ref/source/util/lua/doc/manual.css +++ /dev/null @@ -1,13 +0,0 @@ -h3 code { - font-family: inherit ; -} - -pre { - font-size: 105% ; -} - -span.apii { - float: right ; - font-family: inherit ; -} - |