solve the stupid "the header for the link you just clicked on is smaller than all the other headers" website bug that's been plaguing us for years. ha!
Roger Dingledine

Roger Dingledine commited on 2007-05-03 10:12:07
Zeige 1 geänderte Dateien mit 1 Einfügungen und 1 Löschungen.

... ...
@@ -141,7 +141,7 @@ a.anchor:link {
141 141
 }
142 142
 
143 143
 a.anchor:visited {
144
-    font-size: 12pt;
144
+    font-size: 1em;
145 145
     color: black;
146 146
     font-weight: bold;
147 147
     text-decoration: none;
148 148