Make stylesheet configurable
[gitphp.git] / gitphp.css
blob:a/gitphp.css -> blob:b/gitphp.css
--- a/gitphp.css
+++ b/gitphp.css
@@ -1,3 +1,6 @@
+.italic {font-style:italic;}
+.bold {font-weight:bold;}
+.underline {text-decoration:underline;}
 body {
 	font-family: sans-serif; font-size: 12px; border:solid #d9d8d1; border-width:1px;
 	margin:10px; background-color:#ffffff; color:#000000;
@@ -42,7 +45,7 @@
 div.pre { font-family:monospace; font-size:12px; white-space:pre; }
 div.diff_info { font-family:monospace; color:#000099; background-color:#edece6; font-style:italic; }
 div.index_include { border:solid #d9d8d1; border-width:0px 0px 1px; padding:12px 8px; }
-div.search { margin:4px 8px; position:absolute; top:56px; right:12px }
+div.search { font-size: 12px; font-weight: normal; margin:4px 8px; position: absolute; top:56px; right:12px }
 a.linenr { color:#999999; text-decoration:none }
 a.rss_logo {
 	float:right; padding:3px 0px; width:35px; line-height:10px;
@@ -56,4 +59,50 @@
 	padding:0px 4px; font-size:10px; font-weight:normal;
 	background-color:#ffffaa; border:1px solid; border-color:#ffffcc #ffee00 #ffee00 #ffffcc;
 }
+.diffplus {
+	color: #008800;
+}
+.diffminus {
+	color: #cc0000;
+}
+.diffat {
+	color: #990099;
+}
+span.agehighlight {
+	color: #009900;
+}
+img.logo {
+	float: right;
+	border-width: 0px;
+}
+.respectwhitespace {
+	white-space: pre;
+}
+.monospace {
+	font-family: monospace;
+}
+span.newfile {
+	color: #008000;
+}
+span.deletedfile {
+	color: #c00000;
+}
+span.changedfile {
+	color: #777777;
+}
+span.movedfile {
+	color: #777777;
+}
+span.latenight {
+	color: #cc0000;
+}
+span.searchmatch {
+	color: #e00000;
+}
+div.message {
+	padding: 12px;
+}
+div.error {
+	color: #ff0000;
+}
 

comments