changeset 2194:3ae6b91e4f72

fixed order of .comment and .red/green/blue css definitions, copied them to classic and rightsidebar, fixes missing pre.comment css in rightsidebar
author Thomas Waldmann <tw AT waldmann-edv DOT de>
date Tue, 01 May 2007 17:09:53 +0200
parents cb913c851e91
children 386caaa698d8
files wiki/htdocs/classic/css/common.css wiki/htdocs/modern/css/common.css wiki/htdocs/rightsidebar/css/common.css
diffstat 3 files changed, 40 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/wiki/htdocs/classic/css/common.css	Tue May 01 16:56:39 2007 +0200
+++ b/wiki/htdocs/classic/css/common.css	Tue May 01 17:09:53 2007 +0200
@@ -74,6 +74,19 @@
     content: url(../img/attention.png);
 }
 
+
+/* .comment css definition must be top of .red/.green/.blue or it won't work */
+.comment { color: #555555; background-color: #DDDDFF; }
+
+.red { background-color: #FFCCCC; }
+.green { background-color: #CCFFCC; }
+.blue { background-color: #CCCCFF; }
+
+.solid { border: 2px solid #000000; padding: 2px; }
+.dashed { border: 2px dashed #000000; padding: 2px; }
+.dotted { border: 2px dotted #000000; padding: 2px; }
+
+
 table {
 	margin: 0.5em 0 0 0.5em;
 	border-collapse: collapse;
--- a/wiki/htdocs/modern/css/common.css	Tue May 01 16:56:39 2007 +0200
+++ b/wiki/htdocs/modern/css/common.css	Tue May 01 17:09:53 2007 +0200
@@ -91,6 +91,9 @@
 }
 
 
+/* .comment css definition must be top of .red/.green/.blue or it won't work */
+.comment { color: #555555; background-color: #DDDDFF; }
+
 .red { background-color: #FFCCCC; }
 .green { background-color: #CCFFCC; }
 .blue { background-color: #CCCCFF; }
@@ -99,7 +102,6 @@
 .dashed { border: 2px dashed #000000; padding: 2px; }
 .dotted { border: 2px dotted #000000; padding: 2px; }
 
-.comment { color: #555555; background-color: #DDDDFF; }
 
 table
 {
--- a/wiki/htdocs/rightsidebar/css/common.css	Tue May 01 16:56:39 2007 +0200
+++ b/wiki/htdocs/rightsidebar/css/common.css	Tue May 01 17:09:53 2007 +0200
@@ -74,6 +74,30 @@
     /* end css 3 or browser specific rules */
 }
 
+pre.comment {
+    background-color: #CCCCCC;
+    color: red;
+    padding: 0;
+    margin: 0;
+    border: 0;
+}
+
+pre.comment:before {
+    content: url(../img/attention.png);
+}
+
+/* .comment css definition must be top of .red/.green/.blue or it won't work */
+.comment { color: #555555; background-color: #DDDDFF; }
+
+.red { background-color: #FFCCCC; }
+.green { background-color: #CCFFCC; }
+.blue { background-color: #CCCCFF; }
+
+.solid { border: 2px solid #000000; padding: 2px; }
+.dashed { border: 2px dashed #000000; padding: 2px; }
+.dotted { border: 2px dotted #000000; padding: 2px; }
+
+
 table
 {
 	margin: 0.5em 0 0 0.5em;