diff options
Diffstat (limited to '')
-rw-r--r-- | libraries/LuaJIT-1.1.7/doc/manual.css | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/libraries/LuaJIT-1.1.7/doc/manual.css b/libraries/LuaJIT-1.1.7/doc/manual.css deleted file mode 100644 index eed5afd..0000000 --- a/libraries/LuaJIT-1.1.7/doc/manual.css +++ /dev/null | |||
@@ -1,13 +0,0 @@ | |||
1 | h3 code { | ||
2 | font-family: inherit ; | ||
3 | } | ||
4 | |||
5 | pre { | ||
6 | font-size: 105% ; | ||
7 | } | ||
8 | |||
9 | span.apii { | ||
10 | float: right ; | ||
11 | font-family: inherit ; | ||
12 | } | ||
13 | |||