/static/style.css

https://code.google.com/p/go-playground/ · CSS · 149 lines · 144 code · 5 blank · 0 comment · 0 complexity · 2e17237c26292474929695070a54ac0f MD5 · raw file

  1. html {
  2. height: 100%;
  3. }
  4. body {
  5. color: black;
  6. padding: 0;
  7. margin: 0;
  8. width: 100%;
  9. height: 100%;
  10. }
  11. a {
  12. color: #009;
  13. }
  14. #wrap,
  15. #about {
  16. padding: 5px;
  17. margin: 0;
  18. position: absolute;
  19. top: 50px;
  20. bottom: 25%;
  21. left: 0;
  22. right: 0;
  23. background: #FFD;
  24. }
  25. #about {
  26. display: none;
  27. z-index: 1;
  28. padding: 10px 40px;
  29. font-size: 16px;
  30. font-family: Georgia, serif;
  31. overflow: auto;
  32. }
  33. #about p {
  34. max-width: 520px;
  35. }
  36. #about ul {
  37. max-width: 480px;
  38. }
  39. #about li {
  40. margin-bottom: 1em;
  41. }
  42. #code, #output, pre, .lines {
  43. font-family: Menlo, Courier New, monospace;
  44. font-size: 11pt;
  45. }
  46. #code {
  47. color: black;
  48. background: inherit;
  49. width: 100%;
  50. height: 100%;
  51. padding: 0; margin: 0;
  52. border: none;
  53. outline: none;
  54. resize: none;
  55. wrap: off;
  56. float: right;
  57. }
  58. #output {
  59. position: absolute;
  60. top: 75%;
  61. bottom: 0;
  62. left: 0;
  63. right: 0;
  64. padding: 8px;
  65. }
  66. #output .system, #output .loading {
  67. color: #999;
  68. }
  69. #output .stderr, #output .error {
  70. color: #900;
  71. }
  72. #output pre {
  73. margin: 0;
  74. }
  75. #banner {
  76. position: absolute;
  77. left: 0;
  78. right: 0;
  79. top: 0;
  80. height: 50px;
  81. }
  82. #head {
  83. float: left;
  84. padding: 8px;
  85. font-size: 30px;
  86. font-family: Georgia, serif;
  87. }
  88. #controls {
  89. float: left;
  90. padding: 10px;
  91. }
  92. #aboutControls {
  93. float: right;
  94. padding: 10px;
  95. }
  96. input[type=button],
  97. #importsBox {
  98. height: 30px;
  99. border: 1px solid #ccc;
  100. font-size: 20px;
  101. font-family: Georgia, serif;
  102. background: #eee;
  103. color: black;
  104. position: static;
  105. top: 1px;
  106. }
  107. input[type=button]:hover {
  108. color: white;
  109. background: #666;
  110. }
  111. #importsBox {
  112. position: relative;
  113. display: inline;
  114. padding: 3px 0;
  115. margin-right: 5px;
  116. }
  117. #importsBox input {
  118. position: relative;
  119. top: -2px;
  120. left: 1px;
  121. }
  122. #shareURL {
  123. width: 350px;
  124. font-size: 16px;
  125. border: 1px solid #ccc;
  126. background: #eee;
  127. color: black;
  128. }
  129. .lines {
  130. float: left;
  131. overflow: hidden;
  132. text-align: right;
  133. }
  134. .lines div {
  135. padding-right: 5px;
  136. color: lightgray;
  137. }
  138. .lineerror {
  139. color: red;
  140. background: #FDD;
  141. }
  142. .exit {
  143. color: lightgray;
  144. }