--- /dev/null
+* {\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
+}
\ No newline at end of file