Photos
Blog
Projects
vanrenterghem.biz
projects
/
git.ikiwiki.info.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
po: inject custom isselflink to fix selflink detection on translation pages
[git.ikiwiki.info.git]
/
doc
/
style.css
diff --git
a/doc/style.css
b/doc/style.css
index e6512aed8834971abf312c3d1ae36f940630e7f9..317d4c7aacbb3efb76b52a8c664d11a4cdfdb163 100644
(file)
--- a/
doc/style.css
+++ b/
doc/style.css
@@
-24,6
+24,10
@@
padding: 6px;
list-style-type: none;
}
padding: 6px;
list-style-type: none;
}
+.actions li {
+ display: inline;
+ padding: .2em .4em;
+}
.pageheader .actions ul {
border-bottom: 1px solid #000;
}
.pageheader .actions ul {
border-bottom: 1px solid #000;
}
@@
-32,14
+36,22
@@
border-bottom: 0;
}
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;
}
display: inline;
padding: .2em .4em;
}
+.pageheader #otherlanguages {
+ border-bottom: 1px solid #000;
+}
+
+div.inlinecontent {
+ margin-top: .4em;
+}
.pagefooter {
clear: both;
.pagefooter {
clear: both;
@@
-70,6
+82,14
@@
div.tags {
text-align: center;
}
text-align: center;
}
+.align-left {
+ float:left;
+}
+
+.align-right {
+ float:right;
+}
+
#backlinks {
margin-top: 1em;
}
#backlinks {
margin-top: 1em;
}
@@
-391,7
+411,6
@@
span.color {
}
/* Used by the highlight plugin. */
}
/* Used by the highlight plugin. */
-
pre.hl { color:#000000; background-color:#ffffff; }
.hl.num { color:#2928ff; }
.hl.esc { color:#ff00ff; }
pre.hl { color:#000000; background-color:#ffffff; }
.hl.num { color:#2928ff; }
.hl.esc { color:#ff00ff; }
@@
-407,3
+426,7
@@
pre.hl { color:#000000; background-color:#ffffff; }
.hl.kwb { color:#830000; }
.hl.kwc { color:#000000; font-weight:bold; }
.hl.kwd { color:#010181; }
.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; }