diff options
author | Markus Meier <maekke@gentoo.org> | 2014-07-23 21:58:47 +0200 |
---|---|---|
committer | Markus Meier <maekke@gentoo.org> | 2014-07-23 21:58:47 +0200 |
commit | 6b6d52e73a9fb756aa1577f4b59a529369562409 (patch) | |
tree | 3173fa76c575b688296c7d11ebbf3408ef8fb8e1 /devmanual.css | |
parent | Improve navigation a bit (diff) | |
download | devmanual-6b6d52e73a9fb756aa1577f4b59a529369562409.tar.gz devmanual-6b6d52e73a9fb756aa1577f4b59a529369562409.tar.bz2 devmanual-6b6d52e73a9fb756aa1577f4b59a529369562409.zip |
use bootstrap alerts for important, note, todo and warning tags
- drop replaced css parts
Diffstat (limited to 'devmanual.css')
-rw-r--r-- | devmanual.css | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/devmanual.css b/devmanual.css index 9f7e18a..3a49c84 100644 --- a/devmanual.css +++ b/devmanual.css @@ -156,58 +156,6 @@ code, pre, tt { font-family: monospace; } -div.warning p.admonition-title, -div.note p.admonition-title, -div.todo p.admonition-title, -div.admonition p.admonition-title, -div.important p.admonition-title { - font-weight: bold; - display: inline; -} - -div.warning p, -div.note p, -div.todo p, -div.admonition p, -div.important p { - display: inline; -} - -div.warning p.admonition-title:after, -div.note p.admonition-title:after, -div.todo p.admonition-title:after, -div.admonition p.admonition-title:after, -div.important p.admonition-title:after { - content: ":"; -} - -div.note, div.warning, -div.important, div.todo, -div.admonition { - padding: 4px; - text-align: justify; -} - -div.note { - background-color: #c9c4ff; -} - -div.warning { - background-color: #ee9999; -} - -div.important { - background-color: #99ee99; -} - -div.todo { - background-color: #cccccc; -} - -div.admonition { - background-color: #ffffff; -} - blockquote.epigraph p { font-size: 80%; font-style: italic; |