-* {\r
- margin: 0;\r
- padding: 0\r
-}\r
-\r
-html {\r
- background-color: white;\r
- width: 100%;\r
- height: 100%;\r
-}\r
-\r
-body {\r
- background: white;\r
- color: black;\r
- text-align: left;\r
- min-height: 100%;\r
- position: relative;\r
- margin: 10pt 10pt;\r
- \r
- font: 16px/1.4 sans-serif;\r
-}\r
-\r
-p {\r
- margin: 0.8em 0;\r
-}\r
-\r
-a {\r
- text-decoration: none;\r
-}\r
-\r
-p.src {\r
- border-top: 1px solid #ccc;\r
- background: #f0f0f0;\r
- padding: 0.2em 0.5em;\r
- font-family: monospace;\r
- line-height: 124%;\r
-}\r
-\r
-.ref {\r
- font-weight: bold;\r
-}\r
-\r
-div.entity {\r
- margin: 2em 0;\r
-}\r
-\r
-div.doc {\r
- padding-left: 2em;\r
-}\r
-\r
-.caption, h1, h2, h3, h4, h5, h6 {\r
- font-weight: bold;\r
- color: rgb(78,98,114);\r
- margin: 0.8em 0 0.4em;\r
-}\r
-\r
-.title {\r
- font-size: 200%;\r
- color: rgb(78,98,114);\r
- font-weight: bold;\r
- border-bottom: 1px solid #ddd;\r
-}\r
-\r
-ul,ol {\r
- margin: 0.8em 0 0.8em 2em;\r
-}\r
-\r
-h1 { font-size: 146.5%; } \r
-h2 { font-size: 131%; }\r
-h3 { font-size: 116%; }\r
-h4 { font-size: 100%; }\r
-h5 { font-size: 100%; }\r
-\r
-pre {\r
- margin: 0.5em;\r
- background: #d0ffd0;\r
+* {
+ margin: 0;
+ padding: 0
+}
+
+html {
+ background-color: white;
+ width: 100%;
+ height: 100%;
+}
+
+body {
+ background: white;
+ color: black;
+ text-align: left;
+ min-height: 100%;
+ position: relative;
+ margin: 10pt 10pt;
+
+ font: 16px/1.4 sans-serif;
+}
+
+p {
+ margin: 0.8em 0;
+}
+
+a {
+ text-decoration: none;
+}
+
+p.src {
+ border-top: 1px solid #ccc;
+ background: #f0f0f0;
+ padding: 0.2em 0.5em;
+ font-family: monospace;
+ line-height: 124%;
+}
+
+.ref {
+ font-weight: bold;
+}
+
+div.entity {
+ margin: 2em 0;
+}
+
+div.doc {
+ padding-left: 2em;
+}
+
+.caption, h1, h2, h3, h4, h5, h6 {
+ font-weight: bold;
+ color: rgb(78,98,114);
+ margin: 0.8em 0 0.4em;
+}
+
+.title {
+ font-size: 200%;
+ color: rgb(78,98,114);
+ font-weight: bold;
+ border-bottom: 1px solid #ddd;
+}
+
+ul,ol {
+ margin: 0.8em 0 0.8em 2em;
+}
+
+h1 { font-size: 146.5%; }
+h2 { font-size: 131%; }
+h3 { font-size: 116%; }
+h4 { font-size: 100%; }
+h5 { font-size: 100%; }
+
+pre {
+ margin: 0.5em;
+ background: #d0ffd0;
}
\ No newline at end of file