width: 640px;
margin-left: auto;
margin-right: auto;
-}
-#body {
padding: 5px 2px 2px 2px;
}
#content0 {
padding-left: 10px;
border-left: 1px solid black;
}
-div.err {
+div.msg {
margin: 0px 20px 20px 20px;
background-color: #ccc;
- border: 1px dashed black;
+ border: 1px solid black;
+ font-weight: bold;
+ position: relative;
}
-div.err li {
+div.msg li {
+ list-style-type: square;
+}
+div.err {
color: maroon;
+ margin: 0px 20px 20px 20px;
+ background-color: #ccc;
+ border: 1px dashed black;
font-variant: small-caps;
font-weight: bold;
+}
+div.err li {
list-style-type: square;
}
+pre {
+ font-size: 10px;
+}
+table.bargraph {
+ border: 1px solid #ccc;
+}
+table.bargraph td.bar {
+ height: 18px;
+ background-color: #888;
+}
+table.bargraph td.fill {
+ background-color: #bbb;
+}