diff options
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 ; +} + |