Merge branch 'master' of ssh://127.0.0.1/home/trac/git

2026-09-21 05:05:31 +00:00 · 2016-08-12 14:40:04 +00:00
parent 763de6bcd4 1d648aff11
commit 5f6a7751fe
26 changed files with 0 additions and 47 deletions
@@ -1,47 +0,0 @@
-div.admonition {
-    font-size: 0.9em;
-    margin: 1em 0 1em 0;
-    border: 1px solid #555;
-    border-radius: 2px;
-    padding: 0;
-}
-
-div.admonition p {
-    margin: 0.5em 1em 0.5em 1em;
-    padding: 0;
-}
-
-div.admonition pre {
-    margin: 0.4em 1em 0.4em 1em;
-}
-
-div.admonition p.admonition-title {
-    padding-top: 0.5em;
-    font-weight: bold;
-}
-
-div.admonition ul, div.admonition ol {
-    margin: 0.1em 0.5em 0.5em 3em;
-    padding: 0;
-}
-
-div.app {
-    background-color: #99D6FF;
-}
-
-div.server {
-    background-color: #FFFF66;
-}
-
-div.both {
-    background-color: #99E699;
-}
-
-div.image {
-    text-align: center;
-    margin: 2em 0 1em 0;
-}
-
-dt {
-    font-style: italic;
-}