style.css 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163
  1. html, body {
  2. height: 100%;
  3. }
  4. body {
  5. background-color: #fff;
  6. font-family: sans-serif;
  7. margin: 0;
  8. overflow: hidden;
  9. }
  10. .farSide {
  11. text-align: right;
  12. }
  13. html[dir="RTL"] .farSide {
  14. text-align: left;
  15. }
  16. /* Buttons */
  17. button {
  18. margin: 5px;
  19. padding: 10px;
  20. border-radius: 4px;
  21. border: 1px solid #ddd;
  22. font-size: large;
  23. background-color: #eee;
  24. color: #000;
  25. }
  26. button.primary {
  27. border: 1px solid #dd4b39;
  28. background-color: #dd4b39;
  29. color: #fff;
  30. }
  31. button.primary>img {
  32. opacity: 1;
  33. }
  34. button>img {
  35. opacity: 0.6;
  36. vertical-align: text-bottom;
  37. }
  38. button:hover>img {
  39. opacity: 1;
  40. }
  41. button:active {
  42. border: 1px solid #888 !important;
  43. }
  44. button:hover {
  45. box-shadow: 2px 2px 5px #888;
  46. }
  47. button.disabled:hover>img {
  48. opacity: 0.6;
  49. }
  50. button.disabled {
  51. display: none;
  52. }
  53. button.notext {
  54. font-size: 10%;
  55. }
  56. h1 {
  57. font-weight: normal;
  58. font-size: 140%;
  59. margin-left: 5px;
  60. margin-right: 5px;
  61. }
  62. /* Tabs */
  63. #tabRow>td {
  64. border: 1px solid #ccc;
  65. border-bottom: none;
  66. }
  67. td.tabon {
  68. border-bottom-color: #ddd !important;
  69. background-color: #ddd;
  70. padding: 5px 19px;
  71. }
  72. td.taboff {
  73. cursor: pointer;
  74. padding: 5px 19px;
  75. }
  76. td.taboff:hover {
  77. background-color: #eee;
  78. }
  79. td.tabmin {
  80. border-top-style: none !important;
  81. border-left-style: none !important;
  82. border-right-style: none !important;
  83. }
  84. td.tabmax {
  85. border-top-style: none !important;
  86. border-left-style: none !important;
  87. border-right-style: none !important;
  88. width: 99%;
  89. padding-left: 10px;
  90. padding-right: 10px;
  91. text-align: right;
  92. }
  93. html[dir=rtl] td.tabmax {
  94. text-align: left;
  95. }
  96. table {
  97. border-collapse: collapse;
  98. margin: 0;
  99. padding: 0;
  100. border: none;
  101. }
  102. td {
  103. padding: 0;
  104. vertical-align: top;
  105. }
  106. .content {
  107. visibility: hidden;
  108. margin: 0;
  109. padding: 1ex;
  110. position: absolute;
  111. direction: ltr;
  112. }
  113. pre.content {
  114. border: 1px solid #ccc;
  115. overflow: scroll;
  116. }
  117. #content_blocks {
  118. padding: 0;
  119. }
  120. .blocklySvg {
  121. border-top: none !important;
  122. }
  123. #content_xml {
  124. resize: none;
  125. outline: none;
  126. border: 1px solid #ccc;
  127. font-family: monospace;
  128. overflow: scroll;
  129. }
  130. #languageMenu {
  131. vertical-align: top;
  132. margin-top: 15px;
  133. margin-right: 15px;
  134. }
  135. /* Buttons */
  136. button {
  137. padding: 1px 10px;
  138. margin: 1px 5px;
  139. }
  140. /* Sprited icons. */
  141. .icon21 {
  142. height: 21px;
  143. width: 21px;
  144. background-image: url(icons.png);
  145. }
  146. .trash {
  147. background-position: 0px 0px;
  148. }
  149. .link {
  150. background-position: -21px 0px;
  151. }
  152. .run {
  153. background-position: -42px 0px;
  154. }