Merge branch 'master' of ssh://git.ikiwiki.info/srv/git/ikiwiki.info

[git.ikiwiki.info.git] / doc / style.css

diff --git a/doc/style.css b/doc/style.css
index 98a28f34769d34d43feb2a8d73f37fddd10442be..317d4c7aacbb3efb76b52a8c664d11a4cdfdb163 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -24,6 +24,10 @@
        padding: 6px;
        list-style-type: none;
 }
+.actions li {
+       display: inline;
+       padding: .2em .4em;
+}
 .pageheader .actions ul {
        border-bottom: 1px solid #000;
 }
@@ -32,14 +36,22 @@
        border-bottom: 0;
 }
 
-div.inlinecontent {
-       margin-top: .4em;
+#otherlanguages ul {
+       margin: 0;
+       padding: 6px;
+       list-style-type: none;
 }
-
-.actions li {
+#otherlanguages li {
        display: inline;
        padding: .2em .4em;
 }
+.pageheader #otherlanguages {
+       border-bottom: 1px solid #000;
+}
+
+div.inlinecontent {
+       margin-top: .4em;
+}
 
 .pagefooter {
        clear: both;
@@ -70,6 +82,14 @@ div.tags {
        text-align: center;
 }
 
+.align-left {
+       float:left;
+}
+
+.align-right {
+       float:right;
+}
+
 #backlinks {
        margin-top: 1em;
 }
@@ -373,11 +393,13 @@ span.color {
        padding: 2px;
 }
 
-.comment-header {
+.comment-header,
+.microblog-header {
        font-style: italic;
        margin-top: .3em;
 }
-.comment .author {
+.comment .author,
+.microblog .author {
        font-weight: bold;
 }
 .comment-subject {
@@ -387,3 +409,24 @@ span.color {
        border: 1px solid #aaa;
        padding: 3px;
 }
+
+/* Used by the highlight plugin. */
+pre.hl { color:#000000; background-color:#ffffff; }
+.hl.num { color:#2928ff; }
+.hl.esc { color:#ff00ff; }
+.hl.str { color:#ff0000; }
+.hl.dstr { color:#818100; }
+.hl.slc { color:#838183; font-style:italic; }
+.hl.com { color:#838183; font-style:italic; }
+.hl.dir { color:#008200; }
+.hl.sym { color:#000000; }
+.hl.line { color:#555555; }
+.hl.mark { background-color:#ffffbb; }
+.hl.kwa { color:#000000; font-weight:bold; }
+.hl.kwb { color:#830000; }
+.hl.kwc { color:#000000; font-weight:bold; }
+.hl.kwd { color:#010181; }
+
+/* For the calendar plugin. */
+.month-calendar-day-this-day { background-color: #eee; }
+.year-calendar-this-month { background-color: #eee; }