[ceph.git] / ceph / src / civetweb / src / third_party / duktape-1.3.0 / debugger / static / style.css

// http://stackoverflow.com/questions/71074/how-to-remove-firefoxs-dotted-outline-on-buttons-as-well-as-links/3844452#3844452
:focus {
	outline: none;
}
::-moz-focus-inner {
	border: 0;
}

@keyframes pulsate {
	from { opacity: 1; }
	to { opacity: 0.25; }
}

#part-header {
	background: #444444;
	color: #ffffff;
	font: 24pt monospace;
	border-bottom: 2px solid #cccccc;
	padding: 20px 0px 20px 10px;
}

/* http://css-tricks.com/snippets/css/a-guide-to-flexbox/ */
#part-middle {
	display: flex;
	flex-direction: row;
	flex-wrap: nowrap;
	justify-content: space-between;
	align-items: stretch;
	align-content: stretch;

	min-height: 800px;

	border-top: 1px solid #ffffff;
	padding: 8px;
	margin-top: 2px;
}
#left-area {
	flex: 0 0 11em;
	margin-right: 20px;
	margin-bottom: 10px;
}
#center-area {
	flex: 1 1 0;
	margin-bottom: 10px;
}
#right-area {
	flex: 0 0 40em;
	margin-left: 20px;
	margin-bottom: 10px;
}

#part-footer {
	clear: both;
	border-top: 2px solid #bbbbbb;
	background: #eeeeee;
	color: #555555;
	text-align: center;
	padding-top: 12px;
	padding-bottom: 12px;
	line-height: 1.5;
}

#exec-status {
	margin-top: 25px;
	margin-bottom: 25px;
}
#exec-state {
	display: inline-block;
	vertical-align: middle;
}
#exec-other {
	display: inline-block;
	vertical-align: middle;
	font-size: 125%;
}
#current-state {
	background: #228822;
	color: #ffffff;
	font: 16pt;
	padding: 6pt;
	border: 5px solid #228822;
	border-radius: 10px;
	font-size: 200%;
	font-weight: bold;
	margin-right: 10px;
}
#current-state.notrunning {
	background: #882222;
	border: 5px solid #882222;
	border-radius: 10px;
	animation: pulsate 0.7s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
}
#exec-other:hover {
	text-decoration: underline;
	color: #9999ff;
}

#left-area button {
	display: inline-block;
	width: 100%;
	min-width: 8em;
	background: #226622;
	color: #ffffff;
	font: 16pt sans-serif;
	font-weight: bold;
	text-decoration: none;
	margin: 10px 0 0 0;
	padding: 0.4em;
	border: 2px solid #000000;
	border-radius: 4px;
}
#left-area button a {
	color: #ffffff;
	text-decoration: none;
}
#left-area button:hover {
	background: #55aa55;
}
#left-area button:disabled {
	background: #555555;
	color: #888888;
}
#left-area button:disabled a {
	background: #555555;
	color: #888888;
}

#pause-button.pending {
	background: #5555ff;
	animation: pulsate 0.2s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
}

#attach-button {
}
#attach-button.enabled {
	animation: pulsate 0.7s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
}

.duktape-exec-line {
	outline: 2px solid red;
	background: #550000;
}
.duktape-break-line {
	outline: 2px solid white;
}

#output {
	font: 9pt monospace;
	color: #000000;
	border: 2px solid #cccccc;
	border-radius: 5px;
	padding: 3px;
	height: 30ex;
	overflow: scroll;
	overflow-x: auto;
	overflow-y: scroll;
	white-space: pre;
}
#output .alert {
	color: #ff0000;
}
/* Default color (should be overridden by level) */
#output .log {
	color: #00ff00;
}
/* Trace */
#output .loglevel0 {
	color: #cccccc;
}
/* Debug */
#output .loglevel1 {
	color: #cccccc;
}
/* Info */
#output .loglevel2 {
	color: #888888;
	font-weight: bold;
}
/* Warn */
#output .loglevel3 {
	color: #ff4444;
	font-weight: bold;
}
/* Error */
#output .loglevel4 {
	color: #ff0000;
	font-weight: bold;
}
/* Fatal */
#output .loglevel5 {
	background: #000000;
	color: #ff0000;
	font-weight: bold;
}
#output .debugger-info {
	color: #880000;
	font-weight: bold;
	font-style: italic;
}
#output .debugger-debug {
	color: #888888;
	font-weight: bold;
	font-style: italic;
}

#callstack {
	font: 9pt monospace;
	color: #000000;
	margin-top: 10px;
	border: 2px solid #cccccc;
	border-radius: 5px;
	padding: 3px;
	height: 14ex;
	overflow: scroll;
	overflow-x: auto;
	overflow-y: scroll;
	white-space: pre;
}
#callstack div:nth-child(2n) {
	background: #eeeeee;
}
#callstack .func {
}
#callstack .rest {
	float: right;
	color: #6666ff;
}
#callstack .rest:hover {
	text-decoration: underline;
	color: #9999ff;
}

#locals {
	font: 9pt monospace;
	color: #000000;
	margin-top: 10px;
	border: 2px solid #cccccc;
	border-radius: 5px;
	padding: 10px;
	height: 30ex;
	overflow: scroll;
	overflow-x: auto;
	overflow-y: scroll;
	white-space: pre;
}
#locals div:nth-child(2n) {
	background: #eeeeee;
}
#locals .key {
}
#locals .value {
	float: right;
	color: #888888;
}

#breakpoints {
	color: #000000;
	margin-top: 10px;
	border: 2px solid #cccccc;
	border-radius: 5px;
	padding: 3px;
	height: 15ex;
	overflow: scroll;
	overflow-x: auto;
	overflow-y: scroll;
	white-space: pre;
}
#breakpoints div {
	margin: 2px 0 2px 0;
}
#breakpoints div:nth-child(2n) {
	background: #eeeeee;
}
#breakpoints a {
	font: 9pt monospace;
	color: #6666ff;
}
#breakpoints a:hover {
	text-decoration: underline;
	color: #9999ff;
}
.breakpoint-line {
	clear: both;
	padding-top: 2px;
	padding-bottom: 2px;
}
#add-breakpoint-file {
	font: 10pt monospace;
	width: 10em;
	padding: 5px;
}
#add-breakpoint-line {
	font: 10pt monospace;
	width: 3em;
	margin-left: 3px;
	padding: 5px;
}
#delete-all-breakpoints-button {
	float: right;
	font: 10pt sans-serif;
	padding: 5px;
	border: 1px solid #888888;
	background: #ddffdd;
	color: #000000;
}
#delete-all-breakpoints-button:hover {
	background: #f8fff8;
}
#delete-all-breakpoints-button:disabled {
	background: #dddddd;
	color: #444444;
}
#add-breakpoint-button {
	font: 10pt sans-serif;
	margin-left: 10px;
	padding: 5px;
	border: 1px solid #888888;
	background: #ddffdd;
	color: #000000;
}
#add-breakpoint-button:hover {
	background: #f8fff8;
}
#add-breakpoint-button:disabled {
	background: #dddddd;
	color: #444444;
}
#breakpoint-hint {
	color: #aaaaaa;
	font-style: italic;
	margin-left: 10px;
}
.delete-breakpoint-button {
	float: right;
	display: inline;
	font: 9pt sans-serif;
	padding: 3px;
	border: none;
	background: none;
	color: #6666ff;
}
.delete-breakpoint-button {
	font: 9pt sans-serif;
}
.delete-breakpoint-button:hover {
	text-decoration: underline;
	color: #9999ff;
}
.delete-breakpoint-button:disabled {
	color: #888888;
}

#about-dialog p {
	margin: 10px 0 10px 0;
}

#bytecode-dialog p {
	margin: 10px 0 10px 0;
}
#bytecode-dialog pre {
	font: 14pt monospace;
	color: #000000;
}

#eval {
	color: #000000;
	margin-top: 10px;
	border: 2px solid #cccccc;
	border-radius: 5px;
	padding: 3px;
	height: 30ex;
	overflow: scroll;
	overflow-x: auto;
	overflow-y: scroll;
	white-space: pre;
}
#eval-input {
	display: inline;
	font: 10pt monospace;
	width: 20em;
	padding: 5px;
}
#eval-button {
	display: inline;
	margin-left: 10px;
	padding: 5px;
	border: 1px solid #888888;
	font: 10pt sans-serif;
	background: #ddffdd;
	color: #000000;
}
#eval-button {
}
#eval-button:hover {
	background: #f8fff8;
}
#eval-button:disabled {
	background: #dddddd;
	color: #444444;
}
#eval-button.pending {
	background: #5555ff;
	animation: pulsate 0.2s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
}
#eval-watch {
	margin-left: 20px;
	vertical-align: middle;
}
#eval-output {
	font: 10pt monospace;
	white-space: pre;
	padding: 5px;
	border: 1px solid #888888;
	min-height: 4ex;
	margin-top: 5px;
}

#varname-input {
	font: 10pt monospace;
	width: 10em;
	padding: 5px;
}
#varvalue-input {
	margin-left: 10px;
	font: 10pt monospace;
	width: 20em;
	padding: 5px;
}
#getvar-button,
#putvar-button {
	display: inline;
	float: right;
	margin-left: 10px;
	padding: 5px;
	border: 1px solid #888888;
	font: 10pt sans-serif;
	background: #ddffdd;
	color: #000000;
}
#getvar-button:hover,
#putvar-button:hover {
	background: #f8fff8;
}
#getvar-button:disabled,
#putvar-button:disabled {
	background: #dddddd;
	color: #444444;
}
#var-output {
	font: 10pt monospace;
	white-space: pre;
	padding: 5px;
	border: 1px solid #888888;
	min-height: 4ex;
	margin-top: 5px;
}

#source-pre {
	margin-top: 10px;
	border: 2px solid #cccccc;
	border-radius: 5px;
	height: 400px;
	overflow: scroll;
	overflow-x: auto;
	overflow-y: scroll;
}
#source-pre.running {
	background: #eeeeee;
	color: #888888;
}
#source-pre.running #source-code {
	background: #eeeeee;
	color: #888888;
}
#source-filename {
	font-size: 125%;
	color: #888888;
}
code.sourcecode {
	counter-reset: source-line;
}
code.sourcecode div {
	font: 10pt monospace;
	padding: 2px 5px 2px 5px;
	white-space: pre;
	border-bottom: 1px solid #eeeeee;
}
code.sourcecode div:before {
	display: inline-block;
	content: counter(source-line);
	counter-increment: source-line;
	width: 4em;
	color: #888888;
	text-align: right;
	margin-right: 20px;
}
code.sourcecode div.breakpoint:before {
	margin-right: 0px;
	border-right: 20px solid #ff0000;
}
code.sourcecode div.highlight {
	background: #aaaaaa;
	color: #000000;
}
code.sourcecode div.execution {
	background: #000000;
	color: #ffffff;
}

#source-select {
	margin-top: 5px;
}
Commit	Line	Data
7c673cae FG	1	// http://stackoverflow.com/questions/71074/how-to-remove-firefoxs-dotted-outline-on-buttons-as-well-as-links/3844452#3844452
	2	:focus {
	3	outline: none;
	4	}
	5	::-moz-focus-inner {
	6	border: 0;
	7	}
	8
	9	@keyframes pulsate {
	10	from { opacity: 1; }
	11	to { opacity: 0.25; }
	12	}
	13
	14	#part-header {
	15	background: #444444;
	16	color: #ffffff;
	17	font: 24pt monospace;
	18	border-bottom: 2px solid #cccccc;
	19	padding: 20px 0px 20px 10px;
	20	}
	21
	22	/* http://css-tricks.com/snippets/css/a-guide-to-flexbox/ */
	23	#part-middle {
	24	display: flex;
	25	flex-direction: row;
	26	flex-wrap: nowrap;
	27	justify-content: space-between;
	28	align-items: stretch;
	29	align-content: stretch;
	30
	31	min-height: 800px;
	32
	33	border-top: 1px solid #ffffff;
	34	padding: 8px;
	35	margin-top: 2px;
	36	}
	37	#left-area {
	38	flex: 0 0 11em;
	39	margin-right: 20px;
	40	margin-bottom: 10px;
	41	}
	42	#center-area {
	43	flex: 1 1 0;
	44	margin-bottom: 10px;
	45	}
	46	#right-area {
	47	flex: 0 0 40em;
	48	margin-left: 20px;
	49	margin-bottom: 10px;
	50	}
	51
	52	#part-footer {
	53	clear: both;
	54	border-top: 2px solid #bbbbbb;
	55	background: #eeeeee;
	56	color: #555555;
	57	text-align: center;
	58	padding-top: 12px;
	59	padding-bottom: 12px;
	60	line-height: 1.5;
	61	}
	62
	63	#exec-status {
	64	margin-top: 25px;
65	margin-bottom: 25px;
66	}
67	#exec-state {
68	display: inline-block;
69	vertical-align: middle;
70	}
71	#exec-other {
72	display: inline-block;
73	vertical-align: middle;
74	font-size: 125%;
75	}
76	#current-state {
77	background: #228822;
78	color: #ffffff;
79	font: 16pt;
80	padding: 6pt;
81	border: 5px solid #228822;
82	border-radius: 10px;
83	font-size: 200%;
84	font-weight: bold;
85	margin-right: 10px;
86	}
87	#current-state.notrunning {
88	background: #882222;
89	border: 5px solid #882222;
90	border-radius: 10px;
91	animation: pulsate 0.7s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
92	}
93	#exec-other:hover {
94	text-decoration: underline;
95	color: #9999ff;
96	}
97
98	#left-area button {
99	display: inline-block;
100	width: 100%;
101	min-width: 8em;
102	background: #226622;
103	color: #ffffff;
104	font: 16pt sans-serif;
105	font-weight: bold;
106	text-decoration: none;
107	margin: 10px 0 0 0;
108	padding: 0.4em;
109	border: 2px solid #000000;
110	border-radius: 4px;
111	}
112	#left-area button a {
113	color: #ffffff;
114	text-decoration: none;
115	}
116	#left-area button:hover {
117	background: #55aa55;
118	}
119	#left-area button:disabled {
120	background: #555555;
121	color: #888888;
122	}
123	#left-area button:disabled a {
124	background: #555555;
125	color: #888888;
126	}
127
128	#pause-button.pending {
129	background: #5555ff;
130	animation: pulsate 0.2s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
131	}
132
133	#attach-button {
134	}
135	#attach-button.enabled {
136	animation: pulsate 0.7s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
137	}
138
139	.duktape-exec-line {
140	outline: 2px solid red;
141	background: #550000;
142	}
143	.duktape-break-line {
144	outline: 2px solid white;
145	}
146
147	#output {
148	font: 9pt monospace;
149	color: #000000;
150	border: 2px solid #cccccc;
151	border-radius: 5px;
152	padding: 3px;
153	height: 30ex;
154	overflow: scroll;
155	overflow-x: auto;
156	overflow-y: scroll;
157	white-space: pre;
158	}
159	#output .alert {
160	color: #ff0000;
161	}
162	/* Default color (should be overridden by level) */
163	#output .log {
164	color: #00ff00;
165	}
166	/* Trace */
167	#output .loglevel0 {
168	color: #cccccc;
169	}
170	/* Debug */
171	#output .loglevel1 {
172	color: #cccccc;
173	}
174	/* Info */
175	#output .loglevel2 {
176	color: #888888;
177	font-weight: bold;
178	}
179	/* Warn */
180	#output .loglevel3 {
181	color: #ff4444;
182	font-weight: bold;
183	}
184	/* Error */
185	#output .loglevel4 {
186	color: #ff0000;
187	font-weight: bold;
188	}
189	/* Fatal */
190	#output .loglevel5 {
191	background: #000000;
192	color: #ff0000;
193	font-weight: bold;
194	}
195	#output .debugger-info {
196	color: #880000;
197	font-weight: bold;
198	font-style: italic;
199	}
200	#output .debugger-debug {
201	color: #888888;
202	font-weight: bold;
203	font-style: italic;
204	}
205
206	#callstack {
207	font: 9pt monospace;
208	color: #000000;
209	margin-top: 10px;
210	border: 2px solid #cccccc;
211	border-radius: 5px;
212	padding: 3px;
213	height: 14ex;
214	overflow: scroll;
215	overflow-x: auto;
216	overflow-y: scroll;
217	white-space: pre;
218	}
219	#callstack div:nth-child(2n) {
220	background: #eeeeee;
221	}
222	#callstack .func {
223	}
224	#callstack .rest {
225	float: right;
226	color: #6666ff;
227	}
228	#callstack .rest:hover {
229	text-decoration: underline;
230	color: #9999ff;
231	}
232
233	#locals {
234	font: 9pt monospace;
235	color: #000000;
236	margin-top: 10px;
237	border: 2px solid #cccccc;
238	border-radius: 5px;
239	padding: 10px;
240	height: 30ex;
241	overflow: scroll;
242	overflow-x: auto;
243	overflow-y: scroll;
244	white-space: pre;
245	}
246	#locals div:nth-child(2n) {
247	background: #eeeeee;
248	}
249	#locals .key {
250	}
251	#locals .value {
252	float: right;
253	color: #888888;
254	}
255
256	#breakpoints {
257	color: #000000;
258	margin-top: 10px;
259	border: 2px solid #cccccc;
260	border-radius: 5px;
261	padding: 3px;
262	height: 15ex;
263	overflow: scroll;
264	overflow-x: auto;
265	overflow-y: scroll;
266	white-space: pre;
267	}
268	#breakpoints div {
269	margin: 2px 0 2px 0;
270	}
271	#breakpoints div:nth-child(2n) {
272	background: #eeeeee;
273	}
274	#breakpoints a {
275	font: 9pt monospace;
276	color: #6666ff;
277	}
278	#breakpoints a:hover {
279	text-decoration: underline;
280	color: #9999ff;
281	}
282	.breakpoint-line {
283	clear: both;
284	padding-top: 2px;
285	padding-bottom: 2px;
286	}
287	#add-breakpoint-file {
288	font: 10pt monospace;
289	width: 10em;
290	padding: 5px;
291	}
292	#add-breakpoint-line {
293	font: 10pt monospace;
294	width: 3em;
295	margin-left: 3px;
296	padding: 5px;
297	}
298	#delete-all-breakpoints-button {
299	float: right;
300	font: 10pt sans-serif;
301	padding: 5px;
302	border: 1px solid #888888;
303	background: #ddffdd;
304	color: #000000;
305	}
306	#delete-all-breakpoints-button:hover {
307	background: #f8fff8;
308	}
309	#delete-all-breakpoints-button:disabled {
310	background: #dddddd;
311	color: #444444;
312	}
313	#add-breakpoint-button {
314	font: 10pt sans-serif;
315	margin-left: 10px;
316	padding: 5px;
317	border: 1px solid #888888;
318	background: #ddffdd;
319	color: #000000;
320	}
321	#add-breakpoint-button:hover {
322	background: #f8fff8;
323	}
324	#add-breakpoint-button:disabled {
325	background: #dddddd;
326	color: #444444;
327	}
328	#breakpoint-hint {
329	color: #aaaaaa;
330	font-style: italic;
331	margin-left: 10px;
332	}
333	.delete-breakpoint-button {
334	float: right;
335	display: inline;
336	font: 9pt sans-serif;
337	padding: 3px;
338	border: none;
339	background: none;
340	color: #6666ff;
341	}
342	.delete-breakpoint-button {
343	font: 9pt sans-serif;
344	}
345	.delete-breakpoint-button:hover {
346	text-decoration: underline;
347	color: #9999ff;
348	}
349	.delete-breakpoint-button:disabled {
350	color: #888888;
351	}
352
353	#about-dialog p {
354	margin: 10px 0 10px 0;
355	}
356
357	#bytecode-dialog p {
358	margin: 10px 0 10px 0;
359	}
360	#bytecode-dialog pre {
361	font: 14pt monospace;
362	color: #000000;
363	}
364
365	#eval {
366	color: #000000;
367	margin-top: 10px;
368	border: 2px solid #cccccc;
369	border-radius: 5px;
370	padding: 3px;
371	height: 30ex;
372	overflow: scroll;
373	overflow-x: auto;
374	overflow-y: scroll;
375	white-space: pre;
376	}
377	#eval-input {
378	display: inline;
379	font: 10pt monospace;
380	width: 20em;
381	padding: 5px;
382	}
383	#eval-button {
384	display: inline;
385	margin-left: 10px;
386	padding: 5px;
387	border: 1px solid #888888;
388	font: 10pt sans-serif;
389	background: #ddffdd;
390	color: #000000;
391	}
392	#eval-button {
393	}
394	#eval-button:hover {
395	background: #f8fff8;
396	}
397	#eval-button:disabled {
398	background: #dddddd;
399	color: #444444;
400	}
401	#eval-button.pending {
402	background: #5555ff;
403	animation: pulsate 0.2s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
404	}
405	#eval-watch {
406	margin-left: 20px;
407	vertical-align: middle;
408	}
409	#eval-output {
410	font: 10pt monospace;
411	white-space: pre;
412	padding: 5px;
413	border: 1px solid #888888;
414	min-height: 4ex;
415	margin-top: 5px;
416	}
417
418	#varname-input {
419	font: 10pt monospace;
420	width: 10em;
421	padding: 5px;
422	}
423	#varvalue-input {
424	margin-left: 10px;
425	font: 10pt monospace;
426	width: 20em;
427	padding: 5px;
428	}
429	#getvar-button,
430	#putvar-button {
431	display: inline;
432	float: right;
433	margin-left: 10px;
434	padding: 5px;
435	border: 1px solid #888888;
436	font: 10pt sans-serif;
437	background: #ddffdd;
438	color: #000000;
439	}
440	#getvar-button:hover,
441	#putvar-button:hover {
442	background: #f8fff8;
443	}
444	#getvar-button:disabled,
445	#putvar-button:disabled {
446	background: #dddddd;
447	color: #444444;
448	}
449	#var-output {
450	font: 10pt monospace;
451	white-space: pre;
452	padding: 5px;
453	border: 1px solid #888888;
454	min-height: 4ex;
455	margin-top: 5px;
456	}
457
458	#source-pre {
459	margin-top: 10px;
460	border: 2px solid #cccccc;
461	border-radius: 5px;
462	height: 400px;
463	overflow: scroll;
464	overflow-x: auto;
465	overflow-y: scroll;
466	}
467	#source-pre.running {
468	background: #eeeeee;
469	color: #888888;
470	}
471	#source-pre.running #source-code {
472	background: #eeeeee;
473	color: #888888;
474	}
475	#source-filename {
476	font-size: 125%;
477	color: #888888;
478	}
479	code.sourcecode {
480	counter-reset: source-line;
481	}
482	code.sourcecode div {
483	font: 10pt monospace;
484	padding: 2px 5px 2px 5px;
485	white-space: pre;
486	border-bottom: 1px solid #eeeeee;
487	}
488	code.sourcecode div:before {
489	display: inline-block;
490	content: counter(source-line);
491	counter-increment: source-line;
492	width: 4em;
493	color: #888888;
494	text-align: right;
495	margin-right: 20px;
496	}
497	code.sourcecode div.breakpoint:before {
498	margin-right: 0px;
499	border-right: 20px solid #ff0000;
500	}
501	code.sourcecode div.highlight {
502	background: #aaaaaa;
503	color: #000000;
504	}
505	code.sourcecode div.execution {
506	background: #000000;
507	color: #ffffff;
508	}
509
510	#source-select {
511	margin-top: 5px;
512	}