-body { font-family: Helvetica, Helv, Arial, Sans-Serif, sans-serif;
- background-color: #ffffff;
- color: #000000; }
-td.light { background-color: #eeeeee; }
-td.dark { background-color: #dddddd; }
-table.wide { border-color: white;
- border-style: solid;
- border-left-width: 10px;
- border-right-width: 10px;
- border-top-width: 0px;
- border-bottom-width: 0px; }
-tr.actions { background-color: #eeffee; }
-tr.url1 { background-color: #d0d0ff; }
-tr.url2 { background-color: #eeeeff; }
-tr.rule { background-color: #c0c0c0;
- height: 3px;
- max-height: 3px;
- font-size: 1px }
-tr.adv { background-color: #FFFFD0; }
-td.header { font-weight: bold; }
-td.url { font-weight: bold; }
-td.action { font-weight: bold;
- font-style: italic; }
-td.nobreak { white-space: nowrap; }
-a.cmd { white-space: nowrap;
- width: auto;
- padding: 2px;
- background-color: #dddddd;
- color: #000000;
- text-decoration: none;
- border-top: 1px solid #ffffff;
- border-left: 1px solid #ffffff;
- border-bottom: 1px solid #000000;
- border-right: 1px solid #000000; }
-a.cmd:hover { background-color: #eeeeee; }
-a.cmd:active { border-top: 1px solid #000000;
- border-left: 1px solid #000000;
- border-bottom: 1px solid #ffffff;
- border-right: 1px solid #ffffff; }
+body {
+ font-family: Helvetica, Helv, Arial, Sans-Serif, sans-serif;
+ background-color: #ffffff;
+ color: #000000;
+}
+td.light {
+ background-color: #eeeeee;
+}
+td.dark {
+ background-color: #dddddd;
+}
+table.wide {
+ border-color: white;
+ border-style: solid;
+ border-left-width: 10px;
+ border-right-width: 10px;
+ border-top-width: 0px;
+ border-bottom-width: 0px;
+}
+tr.actions {
+ background-color: #eeffee;
+}
+tr.url1 {
+ background-color: #d0d0ff;
+}
+tr.url2 {
+ background-color: #eeeeff;
+}
+tr.rule {
+ background-color: #c0c0c0;
+ height: 3px;
+ max-height: 3px;
+ font-size: 1px
+}
+tr.adv {
+ background-color: #FFFFD0;
+}
+td.header {
+ font-weight: bold;
+}
+td.url {
+ font-weight: bold;
+}
+td.action {
+ font-weight: bold;
+ font-style: italic;
+}
+td.nbr {
+ white-space: nowrap;
+}
+a.cmd, div.buttons a {
+ white-space: nowrap;
+ width: auto;
+ padding: 2px;
+ background-color: #dddddd;
+ color: #000000;
+ text-decoration: none;
+ border-top: 1px solid #ffffff;
+ border-left: 1px solid #ffffff;
+ border-bottom: 1px solid #000000;
+ border-right: 1px solid #000000;
+}
+a.cmd:hover, div.buttons a:hover {
+ background-color: #eeeeee;
+}
+a.cmd:active, div.buttons a:active {
+ border-top: 1px solid #000000;
+ border-left: 1px solid #000000;
+ border-bottom: 1px solid #ffffff;
+ border-right: 1px solid #ffffff;
+}