www/common/planet.css

   1
   2 @import url("debian.css");
   3
   4 #sidebar {
   5         border-left:1px solid #d3d6df;
   6         margin:0;
   7         margin-left:1em;
   8         padding:0 0 0 1em;
   9         /* TODO - actually we want 11em of 100% font size, this is a dirty workaround */
  10         width:15em;
  11         font-size: 0.75em;
  12         line-height: 1.5em;
  13         position: absolute;
  14         top: 10em;
  15         right: 10px;
  16 }
  17 #sidebar h1 {
  18         font-size: 1em;
  19         line-height: 1.5em;
  20 }
  21 #content {
  22         margin-right: 14em;
  23         margin-top: 1em;
  24 }
  25
  26 img.face {
  27         float: right;
  28         margin-top: -20px;
  29 }
  30 .channel {
  31         background-color: #f2f3f7;
  32         border:1px solid #e2e3e7;
  33         overflow: visible;
  34         margin-bottom: 1.5em;
  35 }
  36 h2.planet-title {
  37         font-family:monospace;
  38 //      text-transform: uppercase;
  39         font-variant: small-caps;
  40         letter-spacing: 0.2em;
  41         background-color: #c70036;
  42         color: white;
  43         margin:0;
  44         padding: 0.5em;
  45         font-size: 1em;
  46         font-weight: bold;
  47         line-height: 1.5em;
  48         border-bottom: 1px solid #bbb;
  49 }
  50 div.entry div.content {
  51         margin: 0 0.5em;
  52         border-bottom: 1px solid #bbb;
  53 }
  54 h2.planet-title a {
  55         color: white;
  56         text-decoration: none;
  57 }
  58 h2.planet-title a:hover {
  59         color: white;
  60         text-decoration: underline;
  61 }
  62 h3.entry-title {
  63         padding: 0 0 0 0.25em;
  64         font-size: 1.4em;
  65         color: #c70036;
  66         line-height: 1.0714286;
  67         font-size: 1.4em;
  68         font-weight: normal;
  69         line-height: 1.0714286;
  70         margin: 1.0714286em 0 1.0714286em 0;
  71 }
  72 h3.entry-title a {
  73         color: #c70036;
  74         text-decoration: none;
  75 }
  76 h3.entry-title a:hover {
  77         text-decoration: underline;
  78 }
  79 p.date {
  80         border-top: 1px solid  white;
  81         font-size: 0.75em;
  82         line-height: 2em;
  83         border-top: 1px solid  white;
  84         margin-top:0;
  85         padding: 0.5em 0.5em 0 0.5em;
  86 }
  87
  88 table {
  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;
  93         width: auto;
  94         font-size: 0.75em;
  95         line-height: 2em;
  96         margin-bottom: 4em;
  97         margin-top: -0.169em;
  98 }
  99 table tr {
 100         width: 100%;
 101 }
 102 table th {
 103         padding-right: 1.5em;
 104 }
 105 table td {
 106         background-image: url(Pics/greydot.png);
 107         background-position: top left;
 108         background-repeat: repeat-x;
 109 }
 110 table > td:fist-child {
 111         background-image: none;
 112 }
 113
 114 #outer {
 115         margin-left: 10px;
 116 }
 117
 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; }