+#text {
+ width: 800px;
+}
+
+.diffbox {
+ border: 1px #999999 solid;
+ margin-top: 1.33em;
+}
+.diffauthor {
+ font-weight: bold;
+}
+.diffchangesum {
+ font-weight: bold;
+}
+.difftime {
+ font-size: 66%;
+ background-color: #dddddd;
+}
+.difftype {
+ clear: both;
+ font-size: 66%;
+ font-weight: bold;
+}
+.diffadd {
+ border-left: 5px #99ff99 solid;
+ padding-left: 5px;
+}
+.diffdel {
+ border-left: 5px #ffff99 solid;
+ padding-left: 5px;
+}
+.diffrestore {
+ clear: both;
+ font-size: 66%;
+ margin: 1.5em 0px;
+}
+a.varlink {
+ text-decoration: none;
+}
+a.createlink {
+ font-size: smaller;
+ vertical-align: super;
+ line-height: normal;
+ text-decoration: none;
+}