+
+/* error **********************************************************************/
+.error {
+ color: red;
+ background-color: white;
+
+ font-weight: bold;
+
+ border-color: #880000;
+ border-width: 3px;
+ border-style: double;
+
+ padding: 10px;
+}
+
+.error p, .error pre {
+ margin: 0;
+}
+
+.error:before {
+ content: "Error: "
+}