sidebar: Now a sidebar directive can be used to override the sidebar shown on a page.

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

diff --git a/doc/style.css b/doc/style.css
index 4fa48b1404f63a1cfc5352fa7601775c476d2ecf..bdd4bb4666faca9bbc74bb785f3c35778b2ed4a5 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;
 }
@@ -37,6 +41,10 @@
        padding: 6px;
        list-style-type: none;
 }
+#otherlanguages li {
+       display: inline;
+       padding: .2em .4em;
+}
 .pageheader #otherlanguages {
        border-bottom: 1px solid #000;
 }
@@ -45,11 +53,6 @@ div.inlinecontent {
        margin-top: .4em;
 }
 
-.actions li {
-       display: inline;
-       padding: .2em .4em;
-}
-
 .pagefooter {
        clear: both;
 }
@@ -79,6 +82,14 @@ div.tags {
        text-align: center;
 }
 
+.align-left {
+       float:left;
+}
+
+.align-right {
+       float:right;
+}
+
 #backlinks {
        margin-top: 1em;
 }
@@ -217,14 +228,15 @@ div.recentchanges {
 .bigPC { font-size: 115%; }
 .biggestPC { font-size: 130%; }
 
-#sidebar {
-       line-height: 3ex;
-       width: 20ex;
+.sidebar {
+       width: 30ex;
        float: right;
-       margin-left: 40px;
-       margin-bottom: 40px;
-       padding: 2ex 2ex;
+       margin-left: 4px;
+       margin-bottom: 4px;
+       margin-top: -1px;
+       padding: 0ex 2ex;
        background: white;
+       border: 2px solid black;
        color: black !important;
 }
 
@@ -400,7 +412,6 @@ span.color {
 }
 
 /* Used by the highlight plugin. */
-
 pre.hl { color:#000000; background-color:#ffffff; }
 .hl.num { color:#2928ff; }
 .hl.esc { color:#ff00ff; }
@@ -416,3 +427,7 @@ pre.hl { color:#000000; background-color:#ffffff; }
 .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; }