| 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 | |