runtime/kioslave/man/kio_man.css

   1 /*for the list of one manpage section*/
   2 .secidxshort {
   3   display:block;
   4   position:absolute;overflow:auto;
   5   top:0px;bottom:95%;left:0;right:0;
   6 }
   7 .secidxmain {
   8 /*misfortunately accessing anchors in a scrollview
   9   doesn't seem to work yet with konqi, so:*/
  10 /*
  11   position:absolute;overflow:auto;
  12   top:5%;bottom:0;left:0;right:0;
  13 */
  14 }
  15 .secidxnextletter {
  16   font-size:larger;
  17         border-bottom:1px solid black;
  18         text-align:center;
  19 }
  20
  21 /* Stylesheet to use for generated HTML output if we're actually displaying
  22  * a man page.
  23  * CSS adapted from that used on www.kde.org for similar appearance.
  24  */
  25 body {
  26     /* If you specify a background color you should also specify a regular color */
  27     background-color: white;
  28     color: black;
  29     padding: 0px;
  30 }
  31
  32 #header {
  33     width: 100%;
  34     color: #535353;
  35     background: #eeeeee;
  36     border-bottom: #bcbcbc 1px solid;
  37 }
  38
  39 #header_top {
  40     margin: 0 auto;
  41     padding: 0;
  42     width: 60em;
  43     min-width: 770px;
  44     max-width: 45em;
  45     vertical-align: middle;
  46     color: #ffffff;
  47     background-repeat: repeat-x;
  48     background-position: bottom;
  49     background-color: #0057ae;
  50 }
  51
  52 /*
  53  * The header_top div div stuff seems to automatically setup the images but
  54  * I'm not sure that it's actually any better than just manually creating a
  55  * sequences of non-nested divs and setting an image that way.
  56  */
  57 #header_top div {
  58     margin: 0 auto;
  59     padding: 0;
  60     background-repeat: no-repeat;
  61     background-position: bottom left;
  62 }
  63
  64 #header_top div div {
  65     margin: 0 auto;
  66     padding: 0;
  67     vertical-align: middle;
  68     text-align: left;
  69     font-size: 1.7em;
  70     font-weight: bold;
  71     background-repeat: no-repeat;
  72     background-position: bottom right;
  73 }
  74
  75 /*
  76  * If the generated HTML does not use an <img> tag in the div div header
  77  * sequence then the text will be aligned wrong due to the missing margin
  78  * provided by the image.
  79  */
  80 #header_top div div img {
  81     margin:8px 0px 9px 18px;
  82     vertical-align: middle;
  83 }
  84
  85 #header_bottom {
  86     margin: 0 auto;
  87     padding: 0.1em 0em 0.3em 0;
  88     width: 60em;
  89     min-width: 770px;
  90     max-width: 45em;
  91     vertical-align: middle;
  92     text-align: right;
  93     background: #eeeeee;
  94 }
  95
  96 /* Used for the text and footer area at the bottom. */
  97 #footer {
  98     width: 100%;
  99     background-color: #eeeeee;
 100     padding-top: 12pt;
 101     padding-bottom: 12pt;
 102     border-top: #bcbcbc 1px solid;
 103     margin-top: 12pt;
 104 }
 105
 106 #footer_text {
 107     text-align:center;
 108     vertical-align: middle;
 109 }