diff options
Diffstat (limited to 'basewiki/style.css')
| -rw-r--r-- | basewiki/style.css | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/basewiki/style.css b/basewiki/style.css index 7bb9bb9f5..abedf5805 100644 --- a/basewiki/style.css +++ b/basewiki/style.css @@ -139,6 +139,15 @@ td.changelog { padding: 2ex 2ex; } +.infobox { + float: right; + margin-left: 2ex; + margin-top: 1ex; + margin-bottom: 1ex; + padding: 2ex 2ex; + border: 1px solid #aaa; +} + /* outlines */ li.L1 { list-style: upper-roman; |