These should have been in the stylesheet
[gitphp.git] / gitphp.css
blob:a/gitphp.css -> blob:b/gitphp.css
--- a/gitphp.css
+++ b/gitphp.css
@@ -45,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;
@@ -96,4 +96,13 @@
 span.latenight {
 	color: #cc0000;
 }
+span.searchmatch {
+	color: #e00000;
+}
+div.message {
+	padding: 12px;
+}
+div.error {
+	color: #ff0000;
+}
 

comments