diff options
Diffstat (limited to 'doc/DocBook/docbook.css')
| -rw-r--r-- | doc/DocBook/docbook.css | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/DocBook/docbook.css b/doc/DocBook/docbook.css new file mode 100644 index 0000000000..7a79ec54bd --- /dev/null +++ b/doc/DocBook/docbook.css @@ -0,0 +1,16 @@ +body { + font-family: sans-serif; +} + +.programlisting { + font-family: monospace; + font-size: 1em; + display: block; + padding: 10px; + border: 1px solid #aaa; + color: #000; + background-color: #eee; + overflow: auto; + margin: 1em 0em; + border-radius: 6px; +} |
