diff options
Diffstat (limited to 'doc/manual.css')
| -rw-r--r-- | doc/manual.css | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/doc/manual.css b/doc/manual.css deleted file mode 100644 index eed5afd9..00000000 --- a/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 ; -} - |