style.css 5.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150
  1. body, input { font-family: sans-serif; color: #000; text-align: center;
  2. margin: 1em; padding: 0; font-size: 15px; }
  3. h1, h2, h3 { font-weight: normal; }
  4. input { background-color: #fff; margin: 0; text-align: left;
  5. outline: none !important; }
  6. input[type="submit"] { padding: 3px 6px; }
  7. a { color: #11557C; }
  8. a:hover { color: #177199; }
  9. pre, code,
  10. textarea { font-family: monospace; font-size: 14px; }
  11. div.debugger { text-align: left; padding: 12px; margin: auto;
  12. background-color: white; }
  13. h1 { font-size: 36px; margin: 0 0 0.3em 0; }
  14. div.detail { cursor: pointer; }
  15. div.detail p { margin: 0 0 8px 13px; font-size: 14px; white-space: pre-wrap;
  16. font-family: monospace; }
  17. div.explanation { margin: 20px 13px; font-size: 15px; color: #555; }
  18. div.footer { font-size: 13px; text-align: right; margin: 30px 0;
  19. color: #86989B; }
  20. h2 { font-size: 16px; margin: 1.3em 0 0.0 0; padding: 9px;
  21. background-color: #11557C; color: white; }
  22. h2 em, h3 em { font-style: normal; color: #A5D6D9; font-weight: normal; }
  23. div.traceback, div.plain { border: 1px solid #ddd; margin: 0 0 1em 0; padding: 10px; }
  24. div.plain p { margin: 0; }
  25. div.plain textarea,
  26. div.plain pre { margin: 10px 0 0 0; padding: 4px;
  27. background-color: #E8EFF0; border: 1px solid #D3E7E9; }
  28. div.plain textarea { width: 99%; height: 300px; }
  29. div.traceback h3 { font-size: 1em; margin: 0 0 0.8em 0; }
  30. div.traceback ul { list-style: none; margin: 0; padding: 0 0 0 1em; }
  31. div.traceback h4 { font-size: 13px; font-weight: normal; margin: 0.7em 0 0.1em 0; }
  32. div.traceback pre { margin: 0; padding: 5px 0 3px 15px;
  33. background-color: #E8EFF0; border: 1px solid #D3E7E9; }
  34. div.traceback .library .current { background: white; color: #555; }
  35. div.traceback .expanded .current { background: #E8EFF0; color: black; }
  36. div.traceback pre:hover { background-color: #DDECEE; color: black; cursor: pointer; }
  37. div.traceback div.source.expanded pre + pre { border-top: none; }
  38. div.traceback span.ws { display: none; }
  39. div.traceback pre.before, div.traceback pre.after { display: none; background: white; }
  40. div.traceback div.source.expanded pre.before,
  41. div.traceback div.source.expanded pre.after {
  42. display: block;
  43. }
  44. div.traceback div.source.expanded span.ws {
  45. display: inline;
  46. }
  47. div.traceback blockquote { margin: 1em 0 0 0; padding: 0; white-space: pre-line; }
  48. div.traceback img { float: right; padding: 2px; margin: -3px 2px 0 0; display: none; }
  49. div.traceback img:hover { background-color: #ddd; cursor: pointer;
  50. border-color: #BFDDE0; }
  51. div.traceback pre:hover img { display: block; }
  52. div.traceback cite.filename { font-style: normal; color: #3B666B; }
  53. pre.console { border: 1px solid #ccc; background: white!important;
  54. color: black; padding: 5px!important;
  55. margin: 3px 0 0 0!important; cursor: default!important;
  56. max-height: 400px; overflow: auto; }
  57. pre.console form { color: #555; }
  58. pre.console input { background-color: transparent; color: #555;
  59. width: 90%; font-family: monospace; font-size: 14px;
  60. border: none!important; }
  61. span.string { color: #30799B; }
  62. span.number { color: #9C1A1C; }
  63. span.help { color: #3A7734; }
  64. span.object { color: #485F6E; }
  65. span.extended { opacity: 0.5; }
  66. span.extended:hover { opacity: 1; }
  67. a.toggle { text-decoration: none; background-repeat: no-repeat;
  68. background-position: center center;
  69. background-image: url(?__debugger__=yes&cmd=resource&f=more.png); }
  70. a.toggle:hover { background-color: #444; }
  71. a.open { background-image: url(?__debugger__=yes&cmd=resource&f=less.png); }
  72. pre.console div.traceback,
  73. pre.console div.box { margin: 5px 10px; white-space: normal;
  74. border: 1px solid #11557C; padding: 10px;
  75. font-family: sans-serif; }
  76. pre.console div.box h3,
  77. pre.console div.traceback h3 { margin: -10px -10px 10px -10px; padding: 5px;
  78. background: #11557C; color: white; }
  79. pre.console div.traceback pre:hover { cursor: default; background: #E8EFF0; }
  80. pre.console div.traceback pre.syntaxerror { background: inherit; border: none;
  81. margin: 20px -10px -10px -10px;
  82. padding: 10px; border-top: 1px solid #BFDDE0;
  83. background: #E8EFF0; }
  84. pre.console div.noframe-traceback pre.syntaxerror { margin-top: -10px; border: none; }
  85. pre.console div.box pre.repr { padding: 0; margin: 0; background-color: white; border: none; }
  86. pre.console div.box table { margin-top: 6px; }
  87. pre.console div.box pre { border: none; }
  88. pre.console div.box pre.help { background-color: white; }
  89. pre.console div.box pre.help:hover { cursor: default; }
  90. pre.console table tr { vertical-align: top; }
  91. div.console { border: 1px solid #ccc; padding: 4px; background-color: #fafafa; }
  92. div.traceback pre, div.console pre {
  93. white-space: pre-wrap; /* css-3 should we be so lucky... */
  94. white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
  95. white-space: -pre-wrap; /* Opera 4-6 ?? */
  96. white-space: -o-pre-wrap; /* Opera 7 ?? */
  97. word-wrap: break-word; /* Internet Explorer 5.5+ */
  98. _white-space: pre; /* IE only hack to re-specify in
  99. addition to word-wrap */
  100. }
  101. div.pin-prompt {
  102. position: absolute;
  103. display: none;
  104. top: 0;
  105. bottom: 0;
  106. left: 0;
  107. right: 0;
  108. background: rgba(255, 255, 255, 0.8);
  109. }
  110. div.pin-prompt .inner {
  111. background: #eee;
  112. padding: 10px 50px;
  113. width: 350px;
  114. margin: 10% auto 0 auto;
  115. border: 1px solid #ccc;
  116. border-radius: 2px;
  117. }
  118. div.exc-divider {
  119. margin: 0.7em 0 0 -1em;
  120. padding: 0.5em;
  121. background: #11557C;
  122. color: #ddd;
  123. border: 1px solid #ddd;
  124. }
  125. .console.active {
  126. max-height: 0!important;
  127. display: none;
  128. }
  129. .hidden {
  130. display: none;
  131. }