diff options
Diffstat (limited to 'migration.css')
-rw-r--r-- | migration.css | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/migration.css b/migration.css new file mode 100644 index 0000000..5d6aff8 --- /dev/null +++ b/migration.css @@ -0,0 +1,18 @@ + +p { margin-left: 0.4em; margin-right: 0.4em; } + +pre.programlisting { + background-color: #dddddd; + margin-left: 0.6em; margin-right: 1em; + padding: 0.3em; width: 50em; +} + +h1.title { border-bottom: solid #cc3333; } + +div.toc { + border-right: thin solid #cc3333; + } + +h2 { border-top: thin solid #cc3333; + padding-top: 1em; } + |