X-Git-Url: http://git.vanrenterghem.biz/git.ikiwiki.info.git/blobdiff_plain/b6eccfd3d38c95773bdfc8fdf1ecbc32094f353e..f03d3d8567cd49a231b74af44251e775bf6321c5:/doc/style.css

diff --git a/doc/style.css b/doc/style.css
index 74d968ddf..7ffcf9fe2 100644
--- 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;
 }
@@ -208,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: 1px solid black;
 	color: black !important;
 }
 
@@ -389,3 +410,32 @@ 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; }
+.month-calendar-arrow A:link,
+.year-calendar-arrow A:link,
+.month-calendar-arrow A:visited,
+.year-calendar-arrow A:visited {
+	text-decoration: none;
+	font-weight: normal;
+	font-size: 150%;
+}