-/*
- * For printing/HTML display...
- */
-table[name=header-part1] { background-color: #EFEFEF; border: 0px solid #EFEFEF; border-left-width: 4px; }
-table[name=header-part2] { background-color: #DEDEDE; border: 0px solid #DEDEDE; border-left-width: 4px; }
-table[name=header-part3] { background-color: #DEDEDE; border: 0px solid #DEDEDE; border-left-width: 4px; }
-div.headerdisplayname { font-weight: bold; white-space: pre; display: inline; }
+.header-part1 {
+ border-left: 4px solid #EFEFEF;
+ background-color: #EFEFEF;
+}
+
+.header-part2,
+.header-part3 {
+ border: 4px solid #DEDEDE;
+ background-color: #DEDEDE;
+}