diff options
| -rw-r--r-- | src/style/default.css | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/src/style/default.css b/src/style/default.css index faeb86b..7e8ef73 100644 --- a/src/style/default.css +++ b/src/style/default.css @@ -78,3 +78,32 @@ div.gallery.figure { h2, h3 { clear: left; } + +div.contents { + width: 12em; + float: right; + border-style: solid; + border-width: 1px; + border-color: #0f0; + padding-left: 10px; + padding-right: 10px; + margin-left: 10px; + margin-right: 10px; + margin-bottom: 10px; + background-color: #000; + font-size: 80%; +} + +p.topic-title { + font-weight: bold; +} + +div.contents ul { + padding-left: 1em; + list-style-type: none; +} + +div.contents ul.simple { + padding-left: 0; + list-style-type: none; +} |