| 1 | <!DOCTYPE html>
|
| 2 | <html>
|
| 3 | <head>
|
| 4 | <meta charset="utf-8">
|
| 5 | <title>$title$</title>
|
| 6 |
|
| 7 |
|
| 8 | <style>
|
| 9 | @font-face {
|
| 10 | font-family: 'DejaVuSansMono';
|
| 11 | src: url('fonts/DejaVuSansMono.woff') format('woff');
|
| 12 | }
|
| 13 | * {
|
| 14 | font-family: 'DejaVuSansMono', monospace;
|
| 15 | }
|
| 16 | body {
|
| 17 | background-color: black;
|
| 18 | color: white;
|
| 19 | }
|
| 20 | h2, h3, h4, h5, a {
|
| 21 | color: #794ae8;
|
| 22 | text-decoration: none;
|
| 23 | }
|
| 24 | a:hover {
|
| 25 | text-decoration: underline;
|
| 26 | }
|
| 27 | $highlighting-css$
|
| 28 | </style>
|
| 29 |
|
| 30 | <link rel="stylesheet" href="style.css" />
|
| 31 | <link rel="icon" type="image/png" href="/favicon.png" />
|
| 32 | </head>
|
| 33 |
|
| 34 | <body>
|
| 35 | $body$
|
| 36 | </body>
|
| 37 | </html>
|
