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.
2013-05-27 17:01:04 -04:00 · 2013-05-27 17:01:04 -04:00 · 94f3e09af8
parent 022e539993
commit 94f3e09af8
1 changed files with 7 additions and 0 deletions
--- 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 {