diff options
Diffstat (limited to 'css')
| -rw-r--r-- | css/pubs.css | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/css/pubs.css b/css/pubs.css index 971616e..57b654f 100644 --- a/css/pubs.css +++ b/css/pubs.css @@ -32,6 +32,21 @@ SPAN.bad { background-color: #FDF; } +P.remarks { + font-family: serif; + margin-top: 0.3em; + margin-bottom: 0; + margin-left: 5em; + padding-left: 0.5em; + border-width: 0 0 0 5; + border-color: black; + border-style: solid; +} + +P.remarks A { + text-decoration: underline; +} + P.l1 { margin-left: 0.5em; } @@ -42,6 +57,28 @@ P.l2 { margin-bottom: 0.3em; } +P.entry { + margin-top: 0.7em; + margin-bottom: 0; +} + +DIV.impEntry { + border-width: 0.1; + border-color: black; + border-style: solid; + background-color: #FFE; + padding: 0.3em; + margin-top: 0.7em; + margin-bottom: 0; +} + +P.impEntry { + background-color: #FFE; + padding: 0; + margin-top: 0; + margin-bottom: 0; +} + TABLE.sidebar { border-width: 2; border-color: black; |
