/static/style.css

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