margin: 0px 20px 20px 20px;
background-color: #ccc;
border: 1px solid black;
-}
-div.msg {
- font-variant: small-caps;
font-weight: bold;
+ position: relative;
+}
+div.msg li {
list-style-type: square;
}
div.err {
+ color: maroon;
margin: 0px 20px 20px 20px;
background-color: #ccc;
border: 1px dashed black;
-}
-div.err li {
- color: maroon;
font-variant: small-caps;
font-weight: bold;
+}
+div.err li {
list-style-type: square;
}
pre {