skin.css 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157
  1. /**
  2. * Krumo "Blue" Skin
  3. *
  4. * @author Kaloyan K. Tsvetkov <mrasnika@users.sourceforge.net>
  5. */
  6. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */
  7. ul.krumo-node {
  8. margin: 0px;
  9. padding: 0px;
  10. }
  11. ul.krumo-node ul {
  12. margin-left: 20px;
  13. }
  14. * html ul.krumo-node ul {
  15. margin-left: 24px;
  16. }
  17. div.krumo-root {
  18. border: solid 1px black;
  19. margin: 1em 0em;
  20. }
  21. ul.krumo-first {
  22. font: normal 12px arial;
  23. border: solid 2px white;
  24. border-top-width:1px;
  25. background: url(%url%bg.gif);
  26. }
  27. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */
  28. li.krumo-child {
  29. display:block;
  30. list-style: none;
  31. padding: 0px;
  32. margin: 0px;
  33. overflow:hidden;
  34. }
  35. div.krumo-element {
  36. cursor:default;
  37. line-height: 24px;
  38. display:block;
  39. clear:both;
  40. white-space:nowrap;
  41. border-top: solid 1px white;
  42. background: #BFDFFF;
  43. padding-left: 10px;
  44. }
  45. * html div.krumo-element {
  46. padding-bottom: 3px;
  47. }
  48. a.krumo-name {
  49. color:navy;
  50. font: bold 13px Arial;
  51. }
  52. a.krumo-name big {
  53. font: bold 20pt Georgia;
  54. line-height: 14px;
  55. position:relative;
  56. top:2px;
  57. left:-2px;
  58. }
  59. * html a.krumo-name big {
  60. font: bold 19pt Georgia;
  61. top: 5px;
  62. left: 0px;
  63. line-height: 9px;
  64. height: 12px;
  65. padding: 0px;
  66. margin: 0px;
  67. }
  68. div.krumo-expand {
  69. background: #AAD5FF;
  70. cursor:pointer;
  71. }
  72. div.krumo-hover {
  73. background: #FFBE7D;
  74. }
  75. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */
  76. div.krumo-preview {
  77. font: normal 13px courier new;
  78. padding: 5px 5px 14px 5px;
  79. background: white;
  80. border-top: 0px;
  81. overflow:auto;
  82. }
  83. * html div.krumo-preview {
  84. padding-top: 2px;
  85. }
  86. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */
  87. li.krumo-footnote {
  88. background:white;
  89. padding: 2px 5px;
  90. list-style:none;
  91. border-top: solid 1px #bebebe;
  92. margin-top:2px;
  93. cursor:default;
  94. }
  95. * html li.krumo-footnote {
  96. line-height: 13px;
  97. }
  98. div.krumo-version {
  99. float:right;
  100. }
  101. li.krumo-footnote h6 {
  102. font: bold 11px verdana;
  103. margin: 0px;
  104. padding: 0px;
  105. color:navy;
  106. display:inline;
  107. }
  108. * html li.krumo-footnote h6 {
  109. margin-right: 3px;
  110. }
  111. li.krumo-footnote a {
  112. font: bold 10px arial;
  113. color: #434343;
  114. text-decoration:none;
  115. }
  116. li.krumo-footnote a:hover {
  117. color:black;
  118. }
  119. li.krumo-footnote span.krumo-call {
  120. font:normal 11px verdana;
  121. position: relative;
  122. top: 1px;
  123. }
  124. li.krumo-footnote span.krumo-call code {
  125. font-weight:bold;
  126. }
  127. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */
  128. div.krumo-title {
  129. font: normal 11px verdana ;
  130. position:relative;
  131. top:9px;
  132. cursor:default;
  133. line-height:2px;
  134. }
  135. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */
  136. strong.krumo-array-length,
  137. strong.krumo-string-length {
  138. font-weight: normal;
  139. }
  140. /* -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- */