0df3edb9 |
1 | div.frame { |
2 | margin: 0px; |
3 | padding: 8px 2px; |
4 | float: right; |
5 | margin: 5px 0px 5px 5px; |
6 | } |
7 | |
8 | table.quickref { |
9 | margin-top 1em: padding: 0px; |
10 | border: 1px dotted #aaaaaa; |
11 | font-size: 95%; |
12 | } |
13 | |
14 | table.quickref tr { |
15 | padding 0px; |
16 | margin: 0px; |
17 | } |
18 | |
19 | table.quickref td { |
20 | margin: 0px; |
21 | padding: 4px; |
22 | border-top: 1px dotted #aaaaaa; |
23 | } |
24 | |
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; } |
35 | |