css/alex.css

   1 /* Default Theme */
   2
   3 h1 { font-weight:bold; font-size:x-large; border-bottom:solid;
   4      margin-top:3ex; margin-bottom:3ex; clear:both; }
   5 h1 a { text-decoration:none; color:#000; }
   6 h1 a:hover { background:#ddd; }
   7 h2 { font-weight:bold; font-size:larger; clear:both;
   8      padding:0.7ex; border-bottom: 2px solid #000; }
   9 h3 { font-weight:bold; font-size:medium; clear:both;
  10      padding:0.7ex; border-bottom: 1px dashed #000; }
  11 div.journal h1 { font-size:large; }
  12 div.journal h2 { font-size:medium; }
  13 div.journal h3 { font-size:medium; }
  14
  15 hr {
  16     border:none;
  17     color:black;
  18     background-color:#000;
  19     height:3px;
  20     margin-top:2ex;
  21 }
  22 div.journal hr { display:none; }
  23
  24 a.definition { text-decoration:none; color:#000;
  25                border-bottom: thin dashed; }
  26 a.definition:hover { background:#ddd; }
  27 span.permanentanchor { border-bottom: thin dashed; }
  28 a.alias { text-decoration:none; border-bottom: thin dashed; }
  29 a.near:link { color:#093; }
  30 a.near:visited { color:#550; }
  31 a.near:active { color:#0F0; }
  32 div.diff { padding-left:5%; padding-right:5%; }
  33 div.old { background-color:#FFFFAF; color:#000; }
  34 div.new { background-color:#CFFFCF; color:#000; }
  35 div.refer { padding-left:5%; padding-right:5%; font-size:smaller; }
  36 div.message { background-color:#FEE; color:#000; }
  37
  38 a.left { display:block; float:left; }
  39 a.right { display:block; float:right; }
  40
  41 /* legacy for right: left: pic: normal: piclink: piclink-left: piclink-right: rules */
  42 div.left { float:left; margin:1em; padding: 0.5em; border:solid; }
  43 div.right { float:right; margin:1em; padding: 0.5em; border:solid; }
  44 div.pic { border:solid; padding: 0.5em; text-align:center; }
  45 div.pic table { display:inline; }
  46
  47 div.footer { clear:both; }
  48 body { background-color:#FFF; color:#000; }
  49 img.logo { border-style:none; float: right; }
  50 table.history { border-style:none; }
  51 td.history { border-style:solid }
  52 table.user { border-style:solid; border-width:thin; }
  53 table.user tr td { border-style:solid; border-width:thin; padding:5px; text-align:center; }
  54 span.result { font-size:larger; }
  55 span.info { font-size:smaller; font-style:italic; }
  56 div.rss { background-color:#EEF; color:#000; }
  57 div.rss a:link { background-color:#EEF; color:#00F; }
  58 div.rss a:visited { background-color:#EEF; color:#A0A; }
  59 div.rss a:active { background-color:#EEF; color:#F00; }
  60 textarea { width:100%; }
  61 img.xml { border:none; padding:1px; }
  62
  63 div.sister { float:left; margin-right:1ex; background-color:#fff; }
  64 div.sister p { margin-top:0; }
  65 div.sister hr { display:none; }
  66 div.sister img { border:none; }
  67 div.near, div.definition { background-color:#efe; }
  68
  69 /* Two Column Theme */
  70
  71 body.two { background-color:#FFF; color:#000; width:70ex }
  72 body.two img.logo { border-style:none; position:absolute; top:1ex; left:75ex; }
  73 body.two span.gotobar { visibility:hidden; position:absolute;
  74                         top:80px; left:75ex; width:20ex }
  75 body.two span.gotobar a { visibility:visible; display:block; }
  76 body.two span.gotobar + br { display:none; }
  77
  78 /* Beige Two Column Theme */
  79
  80 body.beige { background-color:#FFE; color:#000; width:70ex }
  81 body.beige img.logo { border:solid black; position:absolute;
  82                       top:1ex; left:75ex; }
  83 body.beige span.gotobar { visibility:hidden; position:absolute;
  84                           top:80px; left:75ex; width:20ex }
  85 body.beige span.gotobar a { visibility:visible; display:block; }
  86 body.beige span.gotobar + br { display:none; }
  87
  88 /* Left Theme */
  89
  90 body.right { margin-left:25ex }
  91 body.right > div.header > a:first-child { width:20ex;
  92         text-align:right; display:block; position: absolute; top: 1ex; left:1ex; }
  93 body.right span.gotobar { position:absolute;
  94         top:100px; left:1ex; width:20ex; visibility:hidden; }
  95 body.right span.gotobar a { visibility:visible; display:block;
  96         width:20ex; text-align: right; }
  97
  98 /* Black Theme */
  99
 100 body.black { background-color:#000; color:#BBB; width:70ex }
 101 body.black * { background-color:#000; color:#BBB }