2 @import url("debian.css");
5 border-left:1px solid #d3d6df;
9 /* TODO - actually we want 11em of 100% font size, this is a dirty workaround */
31 background-color: #f2f3f7;
32 border:1px solid #e2e3e7;
37 font-family:monospace;
38 // text-transform: uppercase;
39 font-variant: small-caps;
40 letter-spacing: 0.2em;
41 background-color: #c70036;
48 border-bottom: 1px solid #bbb;
50 div.entry div.content {
52 border-bottom: 1px solid #bbb;
56 text-decoration: none;
58 h2.planet-title a:hover {
60 text-decoration: underline;
63 padding: 0 0 0 0.25em;
66 line-height: 1.0714286;
69 line-height: 1.0714286;
70 margin: 1.0714286em 0 1.0714286em 0;
74 text-decoration: none;
76 h3.entry-title a:hover {
77 text-decoration: underline;
80 border-top: 1px solid white;
83 border-top: 1px solid white;
85 padding: 0.5em 0.5em 0 0.5em;
89 /* border-bottom: 1px solid #a9abb3;
90 border-top: 1px solid #a9abb3; */
91 border-bottom: 0.15em solid #666;
92 border-top: 0.15em solid #666;
103 padding-right: 1.5em;
106 background-image: url(Pics/greydot.png);
107 background-position: top left;
108 background-repeat: repeat-x;
110 table > td:fist-child {
111 background-image: none;
118 /* Make pre's wrap to the window */
119 pre { white-space: normal ! important; }
120 pre { white-space: -moz-pre-wrap ! important; }
121 pre { white-space: pre-wrap ! important; }
122 code { white-space: normal ! important; }
123 code { white-space: -moz-pre-wrap ! important; }
124 code { white-space: pre-wrap ! important; }
125 tt { white-space: normal ! important; }
126 tt { white-space: -moz-pre-wrap ! important; }
127 tt { white-space: pre-wrap ! important; }