You are here

Home » API reference » Devel 6

skin.css in Devel 6

Same filename in this branch
  1. 6 krumo/skins/orange/skin.css
  2. 6 krumo/skins/green/skin.css
  3. 6 krumo/skins/blue/skin.css
  4. 6 krumo/skins/default/skin.css
  5. 6 krumo/skins/white/skin.css
Same filename and directory in other branches
  1. 7 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 big {
	font: bold 16pt Georgia;
	line-height: 10px;
	position:relative;
	top:2px;
	left:-2px;
	}
* html a.krumo-name 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 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 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. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */