media/arch.css

   1 * { margin: 0; padding: 0; }
   2 * ul { padding: 10px 20px; }
   3 body {
   4   min-width: 600px;
   5         background: url("/media/titlebar.png") repeat-x top left #fff;
   6         padding: 0 30px;
   7         color: #46494d;
   8   font-size: 14px;
   9         font-family: "DejaVu Sans", "Bitstream Vera Sans", "Lucida Grande", Arial, sans-serif;
  10 }
  11 /*
  12  * Divs
  13  */
  14 #head_container {
  15         height: 220px;
  16 }
  17 #main_nav {
  18   position: absolute;
  19   top: 123px;
  20   right: 30px;
  21   width: 600px;
  22   background: #333;
  23 }
  24 #dev_nav {
  25   position: absolute;
  26   top: 149px;
  27   right: 30px;
  28   width: 600px;
  29   background: #1793d1;
  30 }
  31 #main_nav ul, #dev_nav ul {
  32         list-style: none;
  33         margin: 0;
  34   padding: 0;
  35 }
  36 #main_nav ul li, #dev_nav ul li {
  37         display: block;
  38         float: right;
  39   margin: 0 3px;
  40   padding: 0;
  41         text-align: center;
  42         font-size: 13px;
  43   line-height: 26px;
  44 }
  45 #main_nav ul li.selected {
  46         background: #1793d1;
  47 }
  48 #dev_nav ul li.selected {
  49         background: #333;
  50 }
  51 #main_nav ul li a, #dev_nav ul li a {
  52   display: block;
  53   padding: 0 8px;
  54   color: #fff;
  55   font-weight: bold;
  56         text-decoration: none;
  57 }
  58 #main_nav ul li a:hover {
  59         background: #1793d1;
  60 }
  61 .box-smalltext {
  62         font-size: small;
  63         /*position: relative;*/
  64         top: 0px;
  65         background: #f6efe0;
  66         border: 1px solid #eee4cb;
  67         padding: 10px;
  68 }
  69 #ads {
  70   z-index: 0;
  71   position: absolute;
  72   top: 40px;
  73   right: 10px;
  74 }
  75 #logo {
  76   z-index: 1;
  77         position: absolute;
  78   top: 10px;
  79   left: 25px;
  80         width: 350px;
  81 }
  82 #logo h1#archtitle {
  83   text-indent: -9999px;
  84   margin: 0;
  85   padding: 0;
  86 }
  87 #logo h1#archtitle a {
  88   display: block;
  89   background: transparent url("/media/titlelogo.png") top left no-repeat;
  90   width: 350px;
  91   height: 103px;
  92 }
  93 #devlist {
  94         width: 80%;
  95         padding: 10px;
  96         margin-left: auto;
  97         margin-right: auto;
  98         border-top: 1px dashed black;
  99         border-bottom: 1px dashed black;
 100         text-align: center;
 101 }
 102 .clear {
 103         clear: both;
 104         margin: 0;
 105         padding: 0;
 106 }
 107 .right {
 108         float: right;
 109         width: 320px;
 110         padding: 0 10px 10px 0;
 111 }
 112 .left {
 113         padding: 10px;
 114         margin: 0 360px 0 0;
 115 }
 116 .left p {
 117         padding-bottom: 10px;
 118 }
 119 .box {
 120         padding: 10px;
 121         background: #f0f0f0;
 122         border: 1px solid #d9d9d9;
 123 }
 124 .greybox {
 125         padding: 10px;
 126         background: #f6efe0;
 127         border: 1px solid #eee4cb;
 128 }
 129 div.listing {
 130         padding-right: 10px;
 131 }
 132 .error {
 133         color: #dd0000;
 134         font-size: small;
 135 }
 136 .foot {
 137         clear: both;
 138   padding: 2em 0;
 139         text-align: center;
 140         font-size: 0.75em;
 141   line-height: 1.5em;
 142 }
 143 #search {
 144         float: right;
 145         position: relative;
 146         top: -1em;
 147         font-size: 0.8em;
 148 }
 149 #search input {
 150         background: #f6efe0;
 151         border: 1px solid #eee4cb;
 152 }
 153 .smalltext {
 154         text-align: right;
 155         font-size: x-small;
 156 }
 157 /*
 158  * Headers
 159  */
 160 h2 {
 161         margin: 20px 0 10px 0;
 162 }
 163 h2.title {
 164         border-bottom: 1px solid #46494d;
 165 }
 166 h3 {
 167         margin-bottom: 10px;
 168 }
 169 h3.title {
 170         text-align: right;
 171         border-bottom: 1px solid #46494d;
 172 }
 173 h4.title {
 174         text-align: left;
 175         border-bottom: 1px solid #46494d;
 176 }
 177 h4.news {
 178         border-bottom: 1px dotted #0771a6;
 179   margin-bottom: .25em;
 180   padding-bottom: .2em;
 181 }
 182 div.listing h4 {
 183   color: #fff;
 184         background: #0771a6;
 185         padding: 3px;
 186 }
 187 /*
 188  * Paragraphs, Anchors, Images
 189  */
 190 p {
 191         padding-bottom: 20px;
 192 }
 193 p.news {
 194         font-size: small;
 195 }
 196 a {
 197         color: #0771a6;
 198         text-decoration: none;
 199 }
 200 a:hover {
 201   color: #333;
 202   text-decoration: underline;
 203 }
 204 #about {
 205         position: relative;
 206         top: -9px;
 207 }
 208 ol {
 209         padding-left: 45px;
 210 }
 211 ul.small {
 212         list-style: none;
 213         font-size: x-small;
 214 }
 215 ul.links {
 216         list-style: none;
 217         font-size: small;
 218         padding: 0px 0px 20px 20px;
 219 }
 220 img {
 221         border: none;
 222 }
 223 hr {
 224         border: none;
 225         border-top: 1px solid #46494d;
 226 }
 227 .greybox input, button, textarea, select {
 228         background: #e1e3e6;
 229         border: 1px solid #8faecd;
 230 }
 231 .box input, button {
 232         padding: 2px;
 233         background: #c1c3f6;
 234         font-size: x-small;
 235         border: 1px solid #8faecd;
 236 }
 237 button#f_trigger {
 238         background: #e1e3e6;
 239 }
 240 /*
 241  * Table stuff
 242  */
 243 table.center {
 244         margin-left: auto;
 245         margin-right: auto;
 246 }
 247 table#releases {
 248         font-size: small;
 249         width: 100%;
 250 }
 251 table#releases td {
 252         padding-right: 20px;
 253 }
 254 table#repolinks {
 255         font-size: small;
 256         width: 100%;
 257 }
 258 table#repolinks td {
 259         text-align: right;
 260 }
 261 table#repolinks th {
 262         text-align: left;
 263 }
 264 table#art {
 265         text-align: center;
 266         margin-left: auto;
 267         margin-right: auto;
 268 }
 269 .devpic {
 270         vertical-align: top;
 271         padding-right: 15px;
 272 }
 273 .devpic img {
 274   padding-top: 25px;
 275 }
 276 table.deventry {
 277         padding-bottom: 25px;
 278 }
 279 .deventry th {
 280         text-align: left;
 281         vertical-align: top;
 282         white-space: nowrap;
 283 }
 284 .deventry td {
 285         width: 100%;
 286 }
 287 table.results {
 288         padding: 0px;
 289         border-collapse: collapse;
 290 }
 291 .results th {
 292         background: #e1e3e6;
 293         border-bottom: 1px solid #46494d;
 294         border-top: 1px solid #46494d;
 295         text-align: left;
 296         padding-top: 0px;
 297         padding-bottom: 0px;
 298         padding-right: 5px;
 299 }
 300 .results th>a {
 301         text-decoration: none;
 302         color: #46494d;
 303 }
 304 .results td {
 305         padding-right: 5px;
 306         vertical-align: top;
 307         font-size: 0.8em;
 308 }
 309 .listing th {
 310         font-size: small;
 311         vertical-align: top;
 312         text-align: left;
 313         padding: 2px;
 314 }
 315 .listing td {
 316         font-size: small;
 317         padding: 2px;
 318 }
 319 blockquote.code {
 320         background: #d0d0d0;
 321         border: 1px solid #bbb;
 322         margin-left: auto;
 323         margin-right: auto;
 324         white-space: nowrap;
 325         padding: 5px;
 326         font-family: "DejaVu Sans Mono", "Bitstream Vera Sans Mono", Courier, "Courier New", Monospace;
 327 }
 328 /*
 329  * Wiki Styles
 330  */
 331 h1.wiki {
 332         border-bottom: 1px solid #46494d;
 333 }
 334 div.wikifoot_l {
 335         font-size: x-small;
 336         text-align: left;
 337         padding-top: 25px;
 338 }
 339 div.wikifoot_r {
 340         font-size: x-small;
 341         text-align: right;
 342         float: right;
 343         padding-top: 25px;
 344 }
 345 .wikibody {
 346         padding-top: 15px;
 347 }
 348 .wikibody ol {
 349         padding-left: 28px;
 350         padding-top: 0px;
 351 }
 352 .wikibody ul {
 353         padding-left: 25px;
 354         padding-top: 0px;
 355 }
 356 .wikibody dd {
 357         padding-left: 30px;
 358 }
 359 .wikibody pre code {
 360         background: #c1c3f6;
 361         border: 1px solid #8faecd;
 362         margin-left: auto;
 363         margin-right: auto;
 364         white-space: nowrap;
 365         padding: 5px;
 366         font-family: "DejaVu Sans Mono", "Bitstream Vera Sans Mono", Courier, "Courier New", Monospace;
 367 }
 368 .wikibody blockquote {
 369         padding-left: 30px;
 370 }
 371 .wikibody td {
 372         padding: 5px;
 373         border: 1px solid black;
 374 }
 375
 376 /* Used by Django's FormWrappers */
 377 textarea.vLargeTextField {
 378         width: 450px;
 379         height: 250px;
 380 }
 381 .pkgr2 {
 382         background-color: #eee4cb;
 383 }
 384