border-top: 1px dotted #aaaaaa;
}
-#text { width: 800px; }
+#text {
+ width: 800px;
+}
.diffbox {
border: 1px #999999 solid;
a.varlink {
text-decoration: none;
}
-
+a.createlink {
+ font-size: smaller;
+ vertical-align: super;
+ line-height: normal;
+ text-decoration: none;
+}