+@font-face {\r
+ font-family: "DejaVu Serif";\r
+ font-weight: normal;\r
+ font-style: normal;\r
+ src: url(DejaVuSerif.ttf);\r
+}\r
+@font-face {\r
+ font-family: "DejaVu Serif";\r
+ font-weight: bold;\r
+ font-style: normal;\r
+ src: url(DejaVuSerif-Bold.ttf);\r
+}\r
+@font-face {\r
+ font-family: "DejaVu Serif";\r
+ font-weight: normal;\r
+ font-style: italic;\r
+ src: url(DejaVuSerif-Italic.ttf);\r
+}\r
+@font-face {\r
+ font-family: "DejaVu Serif";\r
+ font-weight: bold;\r
+ font-style: italic;\r
+ src: url(DejaVuSerif-BoldItalic.ttf);\r
+}\r
+\r
+body, p, h1, h2, h3, h4 {\r
+ font-family: "DejaVu Serif", serif;\r
+}\r
+\r
+\r
body\r
{\r
- font-size: 12pt;\r
- font: Georgia, "Times New Roman" , serif;\r
line-height: 1.5em;\r
margin: 0;\r
}\r
\r
a\r
{\r
- color: black;\r
text-decoration: none;\r
+ color: #00e;\r
+}\r
+\r
+a img {\r
+ border: 0;\r
}\r
\r
#book-text\r
\r
.h2\r
{\r
- size: big;\r
font-size: 2em;\r
margin: 0;\r
margin-top: 1.5em;\r
\r
.h3\r
{\r
- text-align:left;\r
+ text-align:left;\r
font-size: 1.5em;\r
margin-top: 1.5em;\r
font-weight: normal;\r
.title\r
{\r
font-size: 3em;\r
- margin-bottom: 1.5em;\r
text-align: center;\r
line-height: 1.5em;\r
font-weight: bold;\r
margin-left: 2em;\r
margin-right: 2em;\r
}\r
+\r
+p.minor {\r
+ font-size: 0.75em;\r
+}\r
+p.footer {\r
+ margin-top: 2em;\r
+}\r