--- share/web/static/css/app.css	2007/02/19 20:07:48	30
+++ share/web/static/css/app.css	2009/06/09 17:26:36	199
@@ -17,6 +17,10 @@
 
 /* results */
 
+div.content {
+	clear: left;
+}
+
 div.result-header {
 	background: #eee;
 	padding: 3px;
@@ -24,10 +28,16 @@
 	height: 1.5em;
 }
 
-a.skip-next {
+.skip-to {
 	float: right;
+	color: #aaa;
+	font-size: 80%;
+}
+
+.skip-to a {
 	text-decoration: none;
-	border-bottom: 1px solid #aaa;
+	color: 444;
+	border-bottom: 1px dashed #aaa;
 }
 
 div.result {
@@ -62,3 +72,10 @@
 	display: block;
 }
 
+.grep-note {
+	background-color: #F0EAB7;
+	border: 1px solid #E6E0AD;
+	padding: 3px;
+	margin-top: 3px;
+	margin-bottom: 3px;
+}