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/white/skin.css
/**
* Krumo `Schablon.com` Skin
*
* @author Kaloyan K. Tsvetkov <mrasnika@users.sourceforge.net>
*/

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

ul.krumo-node {
  margin: 0px;
  padding: 0px;
  background-color: white;
  }
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 11px tahoma, verdana;
  border: solid 1px white;
  }

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

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

  background-color: white;
  background-image: url(%url%empty.gif);
  background-repeat: no-repeat;
  background-position: 6px 5px;
  padding: 2px 0px 3px 20px;
  }
* html div.krumo-element {
  padding-bottom: 3px;
  line-height: 13px;
  }
div.krumo-expand {
  background-image: url(%url%collapsed.gif);
  cursor:pointer;
  }
div.krumo-hover {
  background-color: #BFDFFF;
  }
div.krumo-opened {
  background-image: url(%url%expanded.gif);
  }
a.krumo-name {
  color:navy;
  font: bold 13px courier new;
  line-height:12px;
  }
a.krumo-name span.krumo-big {
  font: bold 16pt Georgia;
  line-height: 10px;
  position:relative;
  top:2px;
  left:-2px;
  }
* html a.krumo-name span.krumo-big {
  font: bold 15pt Georgia;
  float:left;
  top: -5px;
  left: 0px;
  padding: 0px;
  margin: 0px;
  }
em.krumo-type {
  font-style:normal;
  margin: 0px 2px;
  }

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

div.krumo-preview {
  font: normal 13px courier new;
  padding: 5px ;
  background: lightyellow;
  border: solid 1px #808000;
  overflow:auto;
  margin: 5px 1em 1em 0px;
  white-space: pre;
  }
* html div.krumo-preview {
  padding-top: 2px;
  }

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

li.krumo-footnote {
  background: white url(%url%dotted.gif) repeat-x;
  padding: 4px 5px 3px 5px;
  list-style:none;
  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:navy;
  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 tahoma, verdana;
  position: relative;
  top: 1px;
  }
li.krumo-footnote span.krumo-call code {
  font-weight:bold;
  }

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

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

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

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

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

File

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

  2. * Krumo `Schablon.com` Skin

  3. *

  4. * @author Kaloyan K. Tsvetkov 

  5. */

  6. 

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

  8. 

  9. ul.krumo-node {

  10.   margin: 0px;

  11.   padding: 0px;

  12.   background-color: white;

  13.   }

  14. ul.krumo-node ul {

  15.   margin-left: 20px;

  16.   }

  17. * html ul.krumo-node ul {

  18.   margin-left: 24px;

  19.   }

  20. div.krumo-root {

  21.   border: solid 1px black;

  22.   margin: 1em 0em;

  23.   }

  24. ul.krumo-first {

  25.   font: normal 11px tahoma, verdana;

  26.   border: solid 1px white;

  27.   }

  28. 

  29. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

  30. 

  31. li.krumo-child {

  32.   display:block;

  33.   list-style: none;

  34.   padding: 0px;

  35.   margin: 0px;

  36.   overflow:hidden;

  37.   }

  38. div.krumo-element {

  39.   cursor:default;

  40.   display:block;

  41.   clear:both;

  42.   white-space:nowrap;

  43. 

  44.   background-color: white;

  45.   background-image: url(%url%empty.gif);

  46.   background-repeat: no-repeat;

  47.   background-position: 6px 5px;

  48.   padding: 2px 0px 3px 20px;

  49.   }

  50. * html div.krumo-element {

  51.   padding-bottom: 3px;

  52.   line-height: 13px;

  53.   }

  54. div.krumo-expand {

  55.   background-image: url(%url%collapsed.gif);

  56.   cursor:pointer;

  57.   }

  58. div.krumo-hover {

  59.   background-color: #BFDFFF;

  60.   }

  61. div.krumo-opened {

  62.   background-image: url(%url%expanded.gif);

  63.   }

  64. a.krumo-name {

  65.   color:navy;

  66.   font: bold 13px courier new;

  67.   line-height:12px;

  68.   }

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

  70.   font: bold 16pt Georgia;

  71.   line-height: 10px;

  72.   position:relative;

  73.   top:2px;

  74.   left:-2px;

  75.   }

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

  77.   font: bold 15pt Georgia;

  78.   float:left;

  79.   top: -5px;

  80.   left: 0px;

  81.   padding: 0px;

  82.   margin: 0px;

  83.   }

  84. em.krumo-type {

  85.   font-style:normal;

  86.   margin: 0px 2px;

  87.   }

  88. 

  89. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */

  90. 

  91. div.krumo-preview {

  92.   font: normal 13px courier new;

  93.   padding: 5px ;

  94.   background: lightyellow;

  95.   border: solid 1px #808000;

  96.   overflow:auto;

  97.   margin: 5px 1em 1em 0px;

  98.   white-space: pre;

  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. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */