diff options
Diffstat (limited to '')
-rw-r--r-- | libraries/LuaJIT-1.1.7/doc/manual.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/libraries/LuaJIT-1.1.7/doc/manual.css b/libraries/LuaJIT-1.1.7/doc/manual.css new file mode 100644 index 0000000..eed5afd --- /dev/null +++ b/libraries/LuaJIT-1.1.7/doc/manual.css | |||
@@ -0,0 +1,13 @@ | |||
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 | |||