isBoring="yes"
isTheme="yes">
<textData>
-/* global configuration */
+/* global configuration *******************************************************/
* {
padding: 0;
margin: 0;
}
-/* layout */
-
+/* layout *********************************************************************/
.center {
position: absolute;
overflow: auto;
}
-/* spacing */
+/* spacing ********************************************************************/
.title {
padding: 5px 20px;
}
.body ul, .body ol {
list-style-position: inside;
- margin: 1em 0;
+ margin: 0 0 0.8em 0;
}
.body ul ul, .body ul ol, .body ol ul, .body ol ol {
margin: 0;
padding: 20px;
}
+.sideBar p {
+ margin-left: 5px;
+}
+
+.sideBar .outline li {
+ margin-left: 1em;
+ padding: 0;
+}
+
.sideBar li {
padding: 3px;
}
.sideBar ul, .sideBar ol {
list-style-type: none;
margin-top: 0.4em;
+ margin-bottom: 0.4em;
}
.sideBar li + li {
- margin-top: 0.2em;
+ margin-top: 0.1em;
}
-.sideBar ul + h1 {
+.sideBar * + h1 {
margin-top: 1.2em;
}
-/* color and text */
+/* color and text *************************************************************/
* {
font-family: sans-serif;
}
body {
background-color: white;
color: black;
+}
+.body {
line-height: 1.3;
}
+p {
+ margin: 0 0 0.8em 0;
+}
+
h1, h2, h3, h4, h5, h6 {
font-weight: normal;
}
}
.sideBar .outline li {
- list-style-type: circle;
- margin-left: 1em;
-
- padding: 0;
- background-color: black;
+ list-style-type: disc;
+ background-color: inherit;
}
.sideBar .outline li li {
- list-style-type: disc;
+ list-style-type: circle;
}
.sideBar .outline li li li {
list-style-type: square;
}
+.sideBar .outline li li li li {
+ list-style-type: disc;
+}
+.sideBar .outline li li li li li {
+ list-style-type: circle;
+}
-p {
- margin: 0 0 0.8em 0;
+.sideBar li {
+ padding: 2px 5px;
+ background-color: #f5f5f5;
}
-/* float */
+/* float **********************************************************************/
h1, h2, h3, h4, h5, h6 {
clear: both;
}
-/* image */
+/* image **********************************************************************/
img {
border-width: 0;
}
.imageCaption {
margin-top: 3px;
}
+
+/* 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: "
+}
</textData>
</page>