1 
     2 /* Styles for game builder 
     
3 
     4 TODO: put all of this in some order and comment it
     
5 
     6 */
     
7 
     8 html, body { 
     
9 	height: 100%; 
    
10 	background-color: #E8ECF2; 
    
11 	color: #0A3300;
    
12 	font-size: 1.1em;
    
13 	margin: 0;
    
14 	padding: 0;
    
15 	overflow: hidden;
    
16 }
    
17 
    18 h2 {
    
19 	margin-top: 0;
    
20 	text-align: center;
    
21 }
    
22 
    23 h3 {
    
24 	color: #FCE17A;
    
25 }
    
26 
    27 a, a:visited, a:active { color: #A7C0E5; }
    
28 
    29 a:hover { color: #A8CBFF; }
    
30 
    31 
    32 
    33 #layout { 
    
34 	height: 100%; 
    
35 }
    
36 
    37 #code-panel {  
    
38 	width: 59%; 
    
39 	height: 95%; 
    
40 	float:right; 
    
41 	padding: 0; 
    
42 	margin: 0; 
    
43 }
    
44 
    45 #code-panel h1{
    
46 	font-size: 1.5em;
    
47 	color: #C6C3BF;
    
48 	padding: 0;
    
49 	margin: 0;
    
50 	text-align: center;
    
51 }
    
52 
    53 
    54 #output-panel { 
    
55 	width: 39%; 
    
56 	float: left; 
    
57 	padding: 0; 
    
58 	height: 100%;
    
59 }
    
60 
    61 
    62 /*  This class (and extraneous div tag) shouldn't have to exist
    
63     at all, but for some insane reason, the designers of CSS decided that
    
64     it shouldn't account for margins or borders or EVEN PADDING
    
65     anything when calculating height! */
    
66 .css-blows { 
    
67 	max-height: 95%;
    
68 	overflow: auto; 
    
69 }
    
70 
    71 
    72 
    73 #output-panel .tabContent { 
    
74 	padding: 1em; 
    
75 	background-color: #5878A6;
    
76 	color: #FFFBF4;
    
77 }
    
78 
    79 
    80 ul.tablist { 
    
81 	padding: 0; 
    
82 	list-style: none; 
    
83 	margin: 0; 
    
84 }
    
85 
    86 
    87 ul.tablist li {              /* unselected tab */
    
88 	display: inline-block; 
    
89 	margin: 0 0 0 .5em; 
    
90 	padding: .2em .6em; 
    
91 	cursor: pointer; 
    
92 	position: relative;
    
93 	background-color: #B6B8BC;
    
94 	color: #FFFFFF;
    
95 }
    
96 
    97 ul.tablist li.selected {      /* selected tab */
    
98 	background-color: #5878A6; 
    
99 	border-bottom-color: #5878A6;
   
100 	color: #FFFFFF;
   
101 }
   
102 
   103 ul.tablist li:hover {
   
104 	color: #A7C0E5;
   
105 	background-color: #5878A6; 
   
106 }
   
107 
   108 
   109 
   110 
   111 .errorhell { /* error area */
   
112 	background-color: #FFF;
   
113 	color: #A60000;
   
114 	padding: 1em; 
   
115 	display: none; 
   
116 	font-family: monospace;
   
117 	line-height: 1.5em;
   
118 }
   
119 .errorhell u { /* the snippet of bad code */
   
120 	background-color: #A60000; 
   
121 	border: 1px solid #F2C1C1;
   
122 	color: #FFFFFF;
   
123 	text-decoration: none; 
   
124 	font-weight: bold;
   
125 	padding: 1px;
   
126 	white-space: nowrap;
   
127 }
   
128 .errorhell i { /* ellipsis to show snippet boundaries and returns */
   
129 	font-style: normal;
   
130 	color: #F2C1C1;
   
131 	font-weight: normal;
   
132 }
   
133 .errorhell b { /* a correct code example */
   
134 	background-color: #C9F76F; 
   
135 	border: 1px solid #679B00;
   
136 	color: #000;
   
137 	font-style: normal;
   
138 	font-weight: bold;
   
139 	padding: 1px;
   
140 	white-space: nowrap;
   
141 }
   
142 
   143 
   144 #docs pre {
   
145 	font-size: .9em;
   
146 	max-width: 100%;
   
147 	overflow: auto;
   
148 	background-color: #1D3D6C;
   
149 	padding: .4em;
   
150 	border: 2px solid #9CB2D3;
   
151 }
   
152 
   153 #docs pre.snippet {
   
154 	background-color: transparent;
   
155 	border: none;
   
156 }
   
157 
   158 #docs img {
   
159 	display: block;
   
160 	margin: auto;
   
161 }
   
162 
   163 
   164 #structurearea {
   
165 	font-size: .9em;
   
166 }
   
167 
   168 
   169 #buildarea {
   
170 	width: 100%;
   
171 	height: 400px;
   
172 }
   
173 
   174 
   175 
   176 #playarea {
   
177 	background-color: #1D3D6C;
   
178 	padding: 1em;
   
179 	border: 2px solid #9CB2D3;
   
180 }
   
181 
   182 #playarea hr { 
   
183 	width: 100px; 
   
184 	border-style: none; 
   
185 	border-top: 1px dashed #999; 
   
186 	margin: 1em auto 1em auto; 
   
187 }
   
188 
   189 
   190 
   191 
   192 textarea#source {
   
193 	background-color: transparent;
   
194 	color: #0A3300;
   
195 	width: 100%;
   
196 	height: 100%;
   
197 	margin: 0;
   
198 	padding: 0;
   
199 	border: 0;
   
200 	outline: none;
   
201 	resize: none;
   
202 	font-size: 1em;
   
203 	border-top: 1px solid #C6C3BF;
   
204 }
   
205 
   206 /* ========================================================================== */
   
207 
   208 /* displaying pretty structure styles */
   
209 
   210 .disp-func { border: 2px solid #9CB2D3; margin-bottom: 1em; }
   
211 .disp-func .funcname { font-weight: bold; color: #FFF; background-color: #9CB2D3; display: block; padding: .1em; }
   
212 .disp-func-inner { padding:.3em; }
   
213 .disp-if { border: 2px solid #7695C4; }
   
214 .disp-if-test { background-color: #7695C4; display: block; padding: .1em; }
   
215 .disp-if-inner { padding:.5em; }
   
216 .disp-unk { background-color: red; }
   
217 .disp-print u { color: #A7C0E5; }
   
218 .disp-print b { color: #A7C0E5; }
   
219 .disp-statement { background-color: #819ECA; display: inline-block; padding: .1em; margin: .2em; }
   
220 .disp-var { font-weight: bold; color:#C0ED00; }