5 margin: 5px 0px 5px 5px;
9 margin-top
1em: padding: 0px;
10 border: 1px dotted
#aaaaaa;
22 border-top: 1px dotted
#aaaaaa;
25 #text { width:800px; }
26 .diffbox { border:1px #999999 solid
; margin-top:1.33em; }
27 .diffauthor { font-weight:bold
; }
28 .diffchangesum { font-weight:bold
; }
29 .difftime { font-family:verdana
,sans-serif
; font-size:66%; background-color:#dddddd; }
30 .difftype { clear:both
; font-family:verdana
,sans-serif
; font-size:66%; font-weight:bold
; }
31 .diffadd { border-left:5px #99ff99 solid
; padding-left:5px; }
32 .diffdel { border-left:5px #ffff99 solid
; padding-left:5px; }
33 .diffrestore { clear:both
; font-family:verdana
,sans-serif
; font-size:66%; margin:1.5em 0px; }
34 a.varlink
{ text-decoration:none
; }