style.css (983B)
1 html, html a { 2 cursor: url(/static/cursor.png), url(/static/cursor.cur), auto; 3 } 4 5 body { 6 /* background-color: #f4f5e7; */ 7 background-color: #222; 8 color: #eee; 9 margin: 0 15% 0 15%; 10 font-size: 12pt; 11 font-family: monospace; 12 } 13 14 pre code { 15 font-family: monospace; 16 font-size: 95%; 17 line-height: 140%; 18 white-space: pre; 19 white-space: pre-wrap; 20 white-space: -moz-pre-wrap; 21 white-space: -o-pre-wrap; 22 } 23 24 code { 25 background: #333333; 26 } 27 28 #content { 29 margin: 0 10% 0 10%; 30 } 31 32 #content code { 33 display: block; 34 padding: 0.5em 1em; 35 border: 1px solid #bebab0; 36 } 37 38 #footer { 39 text-align: center; 40 font-size: 7pt; 41 } 42 43 #menu td { 44 margin: 0; 45 padding: 0; 46 overflow: hidden; 47 background-color: #393f4c; 48 } 49 50 #menu td a { 51 display: block; 52 color: #eee; 53 text-align: center; 54 padding: 14px 16px; 55 text-decoration: none; 56 } 57 58 #menu td a:hover { 59 background-color: #222; 60 } 61 62 a, a:visited, a:active { 63 text-decoration: none; 64 color: #00baf9; 65 } 66 67 a:hover { 68 text-decoration: underline; 69 color: #00baf9; 70 }