diff options
| author | Peter Drahoš <drahosp@gmail.com> | 2010-09-30 03:36:03 +0200 |
|---|---|---|
| committer | Peter Drahoš <drahosp@gmail.com> | 2010-09-30 03:36:03 +0200 |
| commit | 0a6d2ee18063746ba9fcc345174e884a87d57da2 (patch) | |
| tree | 9a2fd7d20ae264bed7d2915dbe1861363c59c3f7 /doc/manual.css | |
| parent | 00dbc0c4ce548aed1ff09e71e68a7c9ff48c4158 (diff) | |
| download | lua-0a6d2ee18063746ba9fcc345174e884a87d57da2.tar.gz | |
Cloned from old repo
Diffstat (limited to 'doc/manual.css')
| -rw-r--r-- | doc/manual.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/manual.css b/doc/manual.css new file mode 100644 index 0000000..eed5afd --- /dev/null +++ b/doc/manual.css @@ -0,0 +1,13 @@ +h3 code { + font-family: inherit ; +} + +pre { + font-size: 105% ; +} + +span.apii { + float: right ; + font-family: inherit ; +} + |