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