diff options
Diffstat (limited to 'docs/style.css')
| -rw-r--r-- | docs/style.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/style.css b/docs/style.css new file mode 100644 index 0000000..59abc74 --- /dev/null +++ b/docs/style.css @@ -0,0 +1,10 @@ +.programlisting { +font: monospace; +background-color: #E0E0E0; +padding: 5; +} + +pre.synopsis { +background-color: #E0E0E0; +padding: 5; +} |
