From 94f3e09af8d811dca0535f1fd969821eaf1a1f74 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Mon, 27 May 2013 17:01:04 -0400
Subject: [PATCH] Moved CSS previously in repo2html template for commit
 template into our CSS

Belongs here; it was in repo2html temporarily until better CSS support could be added.

Yes, repo2html is being developed alongside this website.
---
 style.css | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/style.css b/style.css
index 20686b7..dfe5b0e 100644
--- a/style.css
+++ b/style.css
@@ -122,6 +122,13 @@ p#ref-0 {
 }
 p.ref {
   font-size: 0.9em;
+  margin: 0.25em 0em;
+}
+sup {
+  font-size: 0.6em;
+}
+p.ref:target {
+  background-color: #fce94f;
 }
 
 dt {