diff options
author | Andreas Eversberg <jolly@eversberg.eu> | 2016-07-10 16:00:34 +0200 |
---|---|---|
committer | Andreas Eversberg <jolly@eversberg.eu> | 2016-07-24 12:31:06 +0200 |
commit | ce86f62b1188eb3ffd206ee7d1205eee92efa6d7 (patch) | |
tree | b080a1ccd67e36b4347feaff867554b199a896ce /docs/style.css | |
parent | b3b42e8bc45e9b532247d76f811e720252f99ede (diff) |
work on docs
Diffstat (limited to 'docs/style.css')
-rw-r--r-- | docs/style.css | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/docs/style.css b/docs/style.css index 2db6570..248c72d 100644 --- a/docs/style.css +++ b/docs/style.css @@ -57,6 +57,12 @@ pre.list { background-color: #ffffff; } +pre.doc { + font-size: 16px; + color: #000000; + background-color: #ffffff; +} + table { width: 816px; border-spacing: 0px; @@ -65,6 +71,17 @@ td { padding: 0px; } +table.nmt { + width: 400px; + border-spacing: 0px; + border:4px solid black; + border-collapse:collapse; +} +td.nmt { + padding: 3px; + border:4px solid black +} + li { font-size: 20; color: #000000; |