add working CVS plugin

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

diff --git a/doc/style.css b/doc/style.css
index 81a260afd78ef97a18d9ef4727c12627cc37bd00..e6512aed8834971abf312c3d1ae36f940630e7f9 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -23,6 +23,8 @@
        margin: 0;
        padding: 6px;
        list-style-type: none;
        margin: 0;
        padding: 6px;
        list-style-type: none;

+}
+.pageheader .actions ul {

        border-bottom: 1px solid #000;
 }
 
        border-bottom: 1px solid #000;
 }
 


@@ -42,6 +44,9 @@ div.inlinecontent {
 .pagefooter {
        clear: both;
 }
 .pagefooter {
        clear: both;
 }

+.inlinefooter {
+       clear: both;
+}

 
 .tags {
 }
 
 .tags {
 }


@@ -339,11 +344,6 @@ input#searchbox {
        border: 2px solid;
        background-color: #dee;
        color: black;
        border: 2px solid;
        background-color: #dee;
        color: black;

-       
-       /* Nonstandard, but very nice. */
-       opacity: 0.95;
-       -moz-opacity: 0.95;
-       filter: alpha(opacity=95);

 }
 
 /* Formbuilder styling */
 }
 
 /* Formbuilder styling */


@@ -373,11 +373,13 @@ span.color {
        padding: 2px;
 }
 
        padding: 2px;
 }
 

-.comment-header {
+.comment-header,
+.microblog-header {

        font-style: italic;
        margin-top: .3em;
 }
        font-style: italic;
        margin-top: .3em;
 }

-.comment .author {
+.comment .author,
+.microblog .author {

        font-weight: bold;
 }
 .comment-subject {
        font-weight: bold;
 }
 .comment-subject {


@@ -387,3 +389,21 @@ span.color {
        border: 1px solid #aaa;
        padding: 3px;
 }
        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; }