You are here

Home » API reference » Devel 7

skin.css in Devel 7

Same filename in this branch
  1. 7 krumo/skins/orange/skin.css
  2. 7 krumo/skins/green/skin.css
  3. 7 krumo/skins/blue/skin.css
  4. 7 krumo/skins/default/skin.css
  5. 7 krumo/skins/white/skin.css
Same filename and directory in other branches
  1. 6 krumo/skins/default/skin.css
/**
* Krumo Default Skin
*
* @author Kaloyan K. Tsvetkov <mrasnika@users.sourceforge.net>
*/

/* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

ul.krumo-node {
  margin: 0px;
  padding: 0px;
  }
ul.krumo-node ul {
  margin-left: 20px;
  }
* html ul.krumo-node ul {
  margin-left: 24px;
  }
div.krumo-root {
  border: solid 1px black;
  margin: 1em 0em;
  }
ul.krumo-first {
  font: normal 12px arial;
  border: solid 2px white;
  border-top-width:1px;
  background: url(%url%bg.gif);
  }

/* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

li.krumo-child {
  display:block;
  list-style: none;
  padding: 0px;
  margin: 0px;
  overflow:hidden;
  }
div.krumo-element {
  cursor:default;

  line-height: 24px;
  display:block;

  clear:both;
  white-space:nowrap;

  border-top: solid 1px white;
  background: #E8E8E8;
  padding-left: 10px;
  }
* html div.krumo-element {
  padding-bottom: 3px;
  }
a.krumo-name {
  color:#2C5858;
  font: bold 13px Arial;
  }
a.krumo-name span.krumo-big {
  font: bold 20pt Georgia;
  line-height: 14px;
  position:relative;
  top:2px;
  left:-2px;
  }
* html a.krumo-name span.krumo-big {
  font: bold 19pt Georgia;
  top: 5px;
  left: 0px;
  line-height: 9px;
  height: 12px;
  padding: 0px;
  margin: 0px;
  }
div.krumo-expand {
  background: #CCCCCC;
  cursor:pointer;
  }
div.krumo-hover {
  background: #B7DBDB;
  }

/* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

div.krumo-preview {
  font: normal 13px courier new;
  padding: 5px 5px 14px 5px;
  background: white;
  border-top: 0px;
  overflow:auto;
  white-space: pre;
  }
* html div.krumo-preview {
  padding-top: 2px;
  }

/* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

li.krumo-footnote {
  background:white;
  padding: 2px 5px;
  list-style:none;
  border-top: solid 1px #bebebe;
  margin-top:2px;
  cursor:default;
  }
* html li.krumo-footnote {
  line-height: 13px;
  }
div.krumo-version {
  float:right;
  }
li.krumo-footnote h6 {
  font: bold 11px verdana;
  margin: 0px;
  padding: 0px;
  color:#366D6D;
  display:inline;
  }
* html li.krumo-footnote h6 {
  margin-right: 3px;
  }
li.krumo-footnote a {
  font: bold 10px arial;
  color: #434343;
  text-decoration:none;
  }
li.krumo-footnote a:hover {
  color:black;
  }

li.krumo-footnote span.krumo-call {
  font:normal 11px verdana;
  position: relative;
  top: 1px;
  }
li.krumo-footnote span.krumo-call code {
  font-weight:bold;
  }

/* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

div.krumo-title {
  font: normal 11px verdana ;
  position:relative;
  top:9px;
  cursor:default;
  line-height:2px;
  }

/* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

strong.krumo-array-length,
strong.krumo-string-length {
  font-weight: normal;
  }

/* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

File

krumo/skins/default/skin.css
View source 
  1. /**

  2. * Krumo Default Skin

  3. *

  4. * @author Kaloyan K. Tsvetkov 

  5. */

  6. 

  7. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

  8. 

  9. ul.krumo-node {

  10.   margin: 0px;

  11.   padding: 0px;

  12.   }

  13. ul.krumo-node ul {

  14.   margin-left: 20px;

  15.   }

  16. * html ul.krumo-node ul {

  17.   margin-left: 24px;

  18.   }

  19. div.krumo-root {

  20.   border: solid 1px black;

  21.   margin: 1em 0em;

  22.   }

  23. ul.krumo-first {

  24.   font: normal 12px arial;

  25.   border: solid 2px white;

  26.   border-top-width:1px;

  27.   background: url(%url%bg.gif);

  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. 

  42.   line-height: 24px;

  43.   display:block;

  44. 

  45.   clear:both;

  46.   white-space:nowrap;

  47. 

  48.   border-top: solid 1px white;

  49.   background: #E8E8E8;

  50.   padding-left: 10px;

  51.   }

  52. * html div.krumo-element {

  53.   padding-bottom: 3px;

  54.   }

  55. a.krumo-name {

  56.   color:#2C5858;

  57.   font: bold 13px Arial;

  58.   }

  59. a.krumo-name span.krumo-big {

  60.   font: bold 20pt Georgia;

  61.   line-height: 14px;

  62.   position:relative;

  63.   top:2px;

  64.   left:-2px;

  65.   }

  66. * html a.krumo-name span.krumo-big {

  67.   font: bold 19pt Georgia;

  68.   top: 5px;

  69.   left: 0px;

  70.   line-height: 9px;

  71.   height: 12px;

  72.   padding: 0px;

  73.   margin: 0px;

  74.   }

  75. div.krumo-expand {

  76.   background: #CCCCCC;

  77.   cursor:pointer;

  78.   }

  79. div.krumo-hover {

  80.   background: #B7DBDB;

  81.   }

  82. 

  83. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

  84. 

  85. div.krumo-preview {

  86.   font: normal 13px courier new;

  87.   padding: 5px 5px 14px 5px;

  88.   background: white;

  89.   border-top: 0px;

  90.   overflow:auto;

  91.   white-space: pre;

  92.   }

  93. * html div.krumo-preview {

  94.   padding-top: 2px;

  95.   }

  96. 

  97. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

  98. 

  99. li.krumo-footnote {

  100.   background:white;

  101.   padding: 2px 5px;

  102.   list-style:none;

  103.   border-top: solid 1px #bebebe;

  104.   margin-top:2px;

  105.   cursor:default;

  106.   }

  107. * html li.krumo-footnote {

  108.   line-height: 13px;

  109.   }

  110. div.krumo-version {

  111.   float:right;

  112.   }

  113. li.krumo-footnote h6 {

  114.   font: bold 11px verdana;

  115.   margin: 0px;

  116.   padding: 0px;

  117.   color:#366D6D;

  118.   display:inline;

  119.   }

  120. * html li.krumo-footnote h6 {

  121.   margin-right: 3px;

  122.   }

  123. li.krumo-footnote a {

  124.   font: bold 10px arial;

  125.   color: #434343;

  126.   text-decoration:none;

  127.   }

  128. li.krumo-footnote a:hover {

  129.   color:black;

  130.   }

  131. 

  132. li.krumo-footnote span.krumo-call {

  133.   font:normal 11px verdana;

  134.   position: relative;

  135.   top: 1px;

  136.   }

  137. li.krumo-footnote span.krumo-call code {

  138.   font-weight:bold;

  139.   }

  140. 

  141. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

  142. 

  143. div.krumo-title {

  144.   font: normal 11px verdana ;

  145.   position:relative;

  146.   top:9px;

  147.   cursor:default;

  148.   line-height:2px;

  149.   }

  150. 

  151. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

  152. 

  153. strong.krumo-array-length,

  154. strong.krumo-string-length {

  155.   font-weight: normal;

  156.   }

  157. 

  158. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */