[Summary view] [Print] [Text view]

   1  /**

   2  * Krumo `Schablon.com` Skin

   3  *

   4  * @version $Id: skin.css,v 1.1.2.2 2008/06/03 20:36:06 weitzman Exp $

   5  * @author Kaloyan K. Tsvetkov <mrasnika@users.sourceforge.net>

   6  */
   7  
   8  /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

   9  
  10  ul.krumo-node {
  11      margin: 0px;
  12      padding: 0px;
  13      background-color: white;
  14      }
  15  ul.krumo-node ul {
  16      margin-left: 20px;
  17      }
  18  * html ul.krumo-node ul {
  19      margin-left: 24px;
  20      }
  21  div.krumo-root {
  22      border: solid 1px black;
  23      margin: 1em 0em;
  24      }
  25  ul.krumo-first {
  26      font: normal 11px tahoma, verdana;
  27      border: solid 1px white;
  28      }
  29  
  30  /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

  31  
  32  li.krumo-child {
  33      display:block;
  34      list-style: none;
  35      padding: 0px;
  36      margin: 0px;
  37      overflow:hidden;
  38      }
  39  div.krumo-element {
  40      cursor:default;
  41      display:block;
  42      clear:both;
  43      white-space:nowrap;
  44  
  45      background-color: white;
  46      background-image: url(%url%empty.gif);
  47      background-repeat: no-repeat;
  48      background-position: 6px 5px;
  49      padding: 2px 0px 3px 20px;
  50      }
  51  * html div.krumo-element {
  52      padding-bottom: 3px;
  53      line-height: 13px;
  54      }
  55  div.krumo-expand {
  56      background-image: url(%url%collapsed.gif);
  57      cursor:pointer;
  58      }
  59  div.krumo-hover {
  60      background-color: #BFDFFF;
  61      }
  62  div.krumo-opened {
  63      background-image: url(%url%expanded.gif);
  64      }
  65  a.krumo-name {
  66      color:navy;
  67      font: bold 13px courier new;
  68      line-height:12px;
  69      }
  70  a.krumo-name big {
  71      font: bold 16pt Georgia;
  72      line-height: 10px;
  73      position:relative;
  74      top:2px;
  75      left:-2px;
  76      }
  77  * html a.krumo-name big {
  78      font: bold 15pt Georgia;
  79      float:left;
  80      top: -5px;
  81      left: 0px;
  82      padding: 0px;
  83      margin: 0px;
  84      }
  85  em.krumo-type {
  86      font-style:normal;
  87      margin: 0px 2px;
  88      }
  89  
  90  /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

  91  
  92  div.krumo-preview {
  93      font: normal 13px courier new;
  94      padding: 5px ;
  95      background: lightyellow;
  96      border: solid 1px #808000;
  97      overflow:auto;
  98      margin: 5px 1em 1em 0px;
  99      }
 100  * html div.krumo-preview {
 101      padding-top: 2px;
 102      }
 103  
 104  /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

 105  
 106  li.krumo-footnote {
 107      background: white url(%url%dotted.gif) repeat-x;
 108      padding: 4px 5px 3px 5px;
 109      list-style:none;
 110      cursor:default;
 111      }
 112  * html li.krumo-footnote {
 113      line-height: 13px;
 114      }
 115  div.krumo-version {
 116      float:right;
 117      }
 118  li.krumo-footnote h6 {
 119      font: bold 11px verdana;
 120      margin: 0px;
 121      padding: 0px;
 122      color:navy;
 123      display:inline;
 124      }
 125  * html li.krumo-footnote h6 {
 126      margin-right: 3px;
 127      }
 128  li.krumo-footnote a {
 129      font: bold 10px arial;
 130      color: #434343;
 131      text-decoration:none;
 132      }
 133  li.krumo-footnote a:hover {
 134      color:black;
 135      }
 136  
 137  
 138  li.krumo-footnote span.krumo-call {
 139      font:normal 11px tahoma, verdana;
 140      position: relative;
 141      top: 1px;
 142      }
 143  li.krumo-footnote span.krumo-call code {
 144      font-weight:bold;
 145      }
 146  
 147  /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

 148  
 149  div.krumo-title {
 150      font: normal 11px tahoma, verdana;
 151      position:relative;
 152      top:9px;
 153      cursor:default;
 154      line-height:2px;
 155      }
 156  
 157  /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

 158  
 159  strong.krumo-array-length,
 160  strong.krumo-string-length {
 161      font-weight: normal;
 162      color: #000099;
 163      }
 164  
 165  /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */