1/*
2*   eLyXer -- convert LyX source files to HTML output.
3*
4*   Copyright (C) 2009-2010 Alex Fernández
5*
6*   This program is free software: you can redistribute it and/or modify
7*   it under the terms of the GNU General Public License as published by
8*   the Free Software Foundation, either version 3 of the License, or
9*   (at your option) any later version.
10*
11*   This program is distributed in the hope that it will be useful,
12*   but WITHOUT ANY WARRANTY; without even the implied warranty of
13*   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14*   GNU General Public License for more details.
15*
16*   You should have received a copy of the GNU General Public License
17*   along with this program.  If not, see http://www.gnu.org/licenses/.
18*/
19/* --end--
20* Global CSS file for LyX documents.
21*/
22
23body {
24	font: 90% sans-serif;
25	background: #f9f9f9;
26	color: black;
27	margin: 0;
28	padding: 0;
29}
30
31#globalWrapper {
32	margin: 10px 5%;
33	padding: 20px;
34	background: #ffffff;
35	line-height: 1.5em;
36}
37
38/* Basic styles */
39a {
40	text-decoration: none;
41	background: none;
42}
43a:link {
44	color: #0030c0;
45}
46a:visited {
47	color: #603090;
48}
49a:active {
50	color: #ffa000;
51}
52a:hover {
53	text-decoration: underline;
54}
55h1 {
56	margin-top: 1em;
57	line-height: 1.5em;
58}
59h1.Part {
60	text-align: center;
61}
62h1.Part- {
63	text-align: center;
64}
65sup {
66	font-size: 0.75em;
67	line-height: 0.5em;
68	vertical-align: text-top;
69}
70sub {
71	font-size: 0.75em;
72	line-height: 0.5em;
73	vertical-align: text-bottom;
74}
75div.Standard {
76	margin: 1em 0;
77}
78div.Unindented {
79	margin: 0;
80}
81div.Indented {
82	text-indent: 30pt;
83	margin: 0;
84}
85div.Indented * {
86	text-indent: 0pt;
87}
88p.dir {
89	float: right;
90}
91p.printindex {
92	font-size: 0.90em;
93}
94a.printindex {
95	color: black;
96}
97table {
98	display: inline-table;
99	text-align: center;
100	border-collapse: collapse;
101	margin-top: 1em;
102	margin-bottom: 1em;
103}
104tr.header {
105	border-bottom: thin solid #c0c0c0;
106	background: #ffffff;
107	font-weight: bold;
108}
109td {
110	padding: 1ex;
111	border: thin solid #f0f0f0;
112}
113td div.Standard {
114	margin: 0ex;
115	padding: 0ex;
116}
117div.caption div.Standard, div.table div.Standard {
118	margin: 0ex;
119	padding: 0ex;
120}
121td.numeric {
122	text-align: right;
123}
124td.empty {
125	text-align: center;
126}
127div.right {
128	text-align: right;
129}
130div.center {
131	text-align: center;
132	margin-left: auto;
133	margin-right: auto;
134}
135p.biblio {
136}
137div.Paragraph, div.Paragraph- {
138	font-weight: bold;
139	font-size: 103%;
140}
141span.versalitas, span.noun {
142	font-variant: small-caps;
143}
144span.sans {
145	font-family: sans-serif;
146}
147span.code {
148	font-family: monospace;
149}
150div.Plain {
151	display: inline;
152	width: auto;
153}
154h2 {
155	line-height: 1.4em;
156}
157span.Description-entry {
158	font-weight: bold;
159}
160span.List-entry {
161	display: inline-block;
162	width: 25%;
163	vertical-align: text-top;
164}
165span.List-contents {
166	display: inline-block;
167	width: 75%;
168	vertical-align: text-top;
169}
170div.Space {
171	display: none;
172}
173span.appendix {
174	display: none;
175}
176h1.biblio {
177}
178span.greyedout {
179	color: #808080;
180}
181div.Description, div.List, li {
182	margin: 1em 0;
183}
184li.nested {
185	list-style-type: none;
186}
187span.Info {
188	background: #f0f0f0;
189	border: thin solid #c0c0c0;
190}
191pre {
192	padding: 0em;
193	margin: 0em;
194	width: auto;
195	font-family: monospace;
196	line-height: 1.5em;
197}
198pre.LyX-Code {
199	margin: 0.5em 3em;
200}
201a.Label {
202	text-decoration: none;
203	color: #000000;
204}
205span.phantom {
206	color: #ffffff;
207}
208a.biblioentry {
209	color: black;
210}
211span.menuitem {
212	font-size: 105%;
213}
214span.normal {
215	font-style: normal;
216}
217div.PlainVisible {
218	width: auto;
219}
220div.indexgroup {
221	margin-left: 2em;
222}
223span.strong {
224	font-weight: bold;
225}
226
227/* Figures and Tables */
228img.embedded {
229	width: 100%;
230	_width: auto;
231}
232div.float {
233	margin-top: 1ex;
234	margin-bottom: 1ex;
235	text-align: center;
236}
237span.float {
238	margin-top: 1ex;
239	margin-bottom: 1ex;
240	text-align: center;
241}
242div.figure {
243	display: inline-block;
244	text-align: left;
245	padding: 1ex;
246	margin-left: auto;
247	margin-right: auto;
248	border: thin solid #c0c0c0;
249}
250div.table {
251	display: inline-block;
252	text-align: left;
253	padding: 1ex;
254	margin-left: auto;
255	margin-right: auto;
256	border: thin solid #c0c0c0;
257}
258div.algorithm {
259	display: inline-block;
260	text-align: left;
261	padding: 1ex;
262	margin-left: auto;
263	margin-right: auto;
264	border: thin solid #c0c0c0;
265}
266div.caption {
267	text-align: center;
268	font-family: sans-serif;
269	margin-left: auto;
270	margin-right: auto;
271	padding: 0.5ex;
272}
273img.figure {
274	width: 100%;
275	_width: auto;
276}
277div.multifigure {
278	padding: 1ex;
279	width: 100%;
280}
281div.multitable {
282	display: inline-block;
283	padding: 1ex;
284	margin-left: auto;
285	margin-right: auto;
286	border: thin solid #c0c0c0;
287}
288div.multialgorithm {
289	display: inline-block;
290	padding: 1ex;
291	margin-left: auto;
292	margin-right: auto;
293	border: thin solid #c0c0c0;
294}
295div.wrap-l, div.wrap-o, div.wrap-i {
296	margin: 2ex;
297	float: left;
298}
299div.wrap-r {
300	margin: 2ex;
301	float: right;
302}
303div.listing {
304	display: inline-block;
305	text-align: left;
306	margin-left: auto;
307	margin-right: auto;
308	padding: 0.5ex;
309	border: thin solid #c0c0c0;
310}
311span.number-left {
312	float: left;
313	background: #f0f0f0;
314	width: 3em;
315	text-align: right;
316	margin-right: 1em;
317}
318span.number-right {
319	float: right;
320	background: #f0f0f0;
321	width: 3em;
322	text-align: right;
323	margin-left: 1em;
324}
325
326/* Header */
327h1.title {
328	text-align: center;
329}
330h2.author {
331	text-align: center;
332}
333h2.Date {
334	text-align: center;
335}
336div.abstract {
337	margin: 1em 3em;
338	text-align: left;
339	font-size: 0.95em;
340}
341p.abstract-message {
342	text-align: center;
343	font-weight: bold;
344}
345div.tocheader {
346	margin: 1em 0;
347	font-size: large;
348}
349a.toc {
350	color: black;
351}
352div.tocindent {
353	padding: 0 0 0 2em;
354}
355div.toc {
356	margin: 0.5em 0;
357	font-size: 0.95em;
358}
359div.fulltoc {
360	padding: 1em;
361}
362div.warning {
363	font-size: 120%;
364	color:#cc0000;
365}
366div.Institute {
367	text-align: center;
368}
369/*
370* Extras: colors, footnotes, boxes, spaces...
371*/
372
373/* Raw colors */
374span.red {
375	color: #c00000;
376}
377span.blue {
378	color: #0000c0;
379}
380span.green {
381	color: #00c000;
382}
383span.magenta {
384	color: #c000c0;
385}
386span.cyan {
387	color: #00c0c0;
388}
389span.yellow {
390	color: #c0c000;
391}
392span.white {
393	color: #ffffff;
394}
395
396/* Footnotes */
397span.SupFootMarker {
398	color: #0030c0;
399	font-size: 0.75em;
400	line-height: 0.5em;
401	vertical-align: text-top;
402}
403span.AlignFootMarker {
404	color: #0030c0;
405}
406div.EndFoot {
407	margin: 0.2ex;
408	background: #ffffff;
409	padding: 0.5ex;
410	font-size: small;
411	font-weight: normal;
412	line-height: 1.5em;
413	text-align: left;
414}
415span.MarginFoot {
416	float: right;
417	clear: right;
418	margin: 0.2ex;
419	border: thin solid #c0c0c0;
420	background: #ffffff;
421	width: 30%;
422	padding: 0.5ex;
423	font-size: small;
424	font-weight: normal;
425	line-height: 1.5em;
426	text-align: left;
427}
428span.HoverFoot {
429	margin: 0.2ex;
430	border: thin solid #c0c0c0;
431	background: #ffffff;
432	padding: 0.5ex;
433	font-size: small;
434	font-weight: normal;
435	line-height: 1.5em;
436	text-align: left;
437}
438span.FootOuter .HoverFoot {
439	display: none;
440	position: absolute;
441}
442span.FootOuter:hover .HoverFoot {
443	display: inline;
444	float: none;
445}
446span.Marginal {
447	float: right;
448	clear: right;
449	margin: 0.2ex;
450	border: thin solid #c0c0c0;
451	background: #ffffff;
452	width: 30%;
453	padding: 0.5ex;
454	font-size: small;
455	font-weight: normal;
456	line-height: 1.5em;
457	text-align: left;
458}
459span.Note {
460	display: none;
461}
462
463/* Boxes */
464div.framed {
465	outline-style: solid;
466}
467div.frameless {
468}
469div.Frameless {
470}
471div.Boxed {
472	outline-width: thin;
473	outline-style: solid;
474}
475div.Framed {
476	outline-width: thin;
477	outline-style: solid;
478	line-height: 200%;
479}
480div.Doublebox {
481	outline-style: double;
482}
483div.Shadowbox {
484	outline-style: outset;
485    margin: 18px;
486}
487div.Shaded {
488	outline-style: inset;
489}
490div.ovalbox {
491	outline-style: groove;
492}
493div.Ovalbox {
494	outline-style: ridge;
495}
496hr.line {
497	display: inline-block;
498}
499
500/* Spaces */
501span.hspace {
502	display: inline-block;
503}
504span.vspace {
505	display: inline-block;
506	vertical-align: text-top;
507}
508span.hfill {
509	display: inline-block;
510	margin-left: auto;
511	margin-right: auto;
512	min-width: 20mm;
513	background: #fff0f0;
514}
515div.defskip {
516	display: block;
517	height: 1em;
518}
519div.smallskip {
520	display: block;
521	height: 0.5em;
522}
523div.medskip {
524	display: block;
525	height: 1em;
526}
527div.bigskip {
528	display: block;
529	height: 2em;
530}
531div.vfill {
532	display: block;
533	height: 30em;
534}
535
536/* Sizes */
537span.scriptstyle {
538	font-size: 0.75em;
539}
540span.scriptscriptstyle {
541	font-size: 0.60em;
542}
543
544/* Chunks */
545div.chunk {
546	width: auto;
547}
548span.chunkleft span.chunkright {
549	font-style: normal;
550}
551span.chunkdecl {
552	font-style: italic;
553	padding: 0em 2em;
554}
555span.chunkref {
556	font-style: italic;
557}
558
559/* Split Part Navigation */
560div.splitheader {
561	margin: 0em;
562	padding: 0.1em;
563	text-align: center;
564	background: #f9f9f9;
565	overflow: auto;
566}
567span.next {
568	float: right;
569	width: 30%;
570	text-align: right;
571}
572span.up {
573	display: inline-block;
574	width: 30%;
575	text-align: center;
576}
577span.prev {
578	float: left;
579	width: 30%;
580	text-align: left;
581}
582hr.footer {
583	margin-top: 2em;
584}
585div.footer {
586	font-size: 0.90em;
587	margin: 1em 0;
588}
589
590/* Change Tracking */
591span.inserted {
592	color: #0000ff;
593}
594span.deleted {
595	color: #ff0000;
596	text-decoration: line-through;
597}
598
599/* Google Charts */
600img.chart {
601	vertical-align: middle;
602}
603/* --end--
604* CSS file for LaTeX formulas.
605*/
606
607/* Formulas */
608.formula {
609	text-align: center;
610	font-family: "DejaVu Serif", serif;
611	margin: 1.2em 0;
612}
613span.formula {
614	white-space: nowrap;
615}
616div.formula {
617	padding: 0.5ex;
618	margin-left: auto;
619	margin-right: auto;
620}
621
622/* Basic features */
623a.eqnumber {
624	display: inline-block;
625	float: right;
626	clear: right;
627	font-weight: bold;
628}
629span.unknown {
630	color: #800000;
631}
632span.ignored, span.arraydef {
633	display: none;
634}
635.formula i {
636	letter-spacing: 0.1ex;
637}
638
639/* Alignment */
640.align-left, .align-l {
641	text-align: left;
642}
643.align-right, .align-r {
644	text-align: right;
645}
646.align-center, .align-c {
647	text-align: center;
648}
649
650/* Structures */
651span.overline, span.bar {
652	text-decoration: overline;
653}
654.fraction, .fullfraction {
655	display: inline-block;
656	vertical-align: middle;
657	text-align: center;
658}
659.fraction .fraction {
660	font-size: 80%;
661	line-height: 100%;
662}
663span.numerator {
664	display: block;
665}
666span.denominator {
667	display: block;
668	padding: 0ex;
669	border-top: thin solid;
670}
671sup.numerator, sup.unit {
672	font-size: 70%;
673	vertical-align: 80%;
674}
675sub.denominator, sub.unit {
676	font-size: 70%;
677	vertical-align: -20%;
678}
679span.sqrt {
680	display: inline-block;
681	vertical-align: middle;
682	padding: 0.1ex;
683}
684sup.root {
685	font-size: 70%;
686	position: relative;
687	left: 1.4ex;
688}
689span.radical {
690	display: inline-block;
691	padding: 0ex;
692	font-size: 150%;
693	vertical-align: top;
694}
695span.root {
696	display: inline-block;
697	border-top: thin solid;
698	padding: 0ex;
699	vertical-align: middle;
700}
701span.symbol {
702	font-size: 125%;
703}
704span.bigsymbol {
705	font-size: 150%;
706}
707span.largesymbol {
708	font-size: 175%;
709}
710span.hugesymbol {
711	font-size: 200%;
712}
713span.scripts {
714	display: inline-table;
715	vertical-align: middle;
716}
717.script {
718	display: table-row;
719	text-align: left;
720	line-height: 150%;
721}
722span.limits {
723	display: inline-table;
724	vertical-align: middle;
725}
726.limit {
727	display: table-row;
728	line-height: 95%;
729}
730sup.limit, sub.limit {
731	line-height: 150%;
732}
733span.symbolover {
734	display: inline-block;
735	text-align: center;
736	position: relative;
737	float: right;
738	right: 100%;
739	bottom: 0.5em;
740	width: 0px;
741}
742span.withsymbol {
743	display: inline-block;
744}
745span.symbolunder {
746	display: inline-block;
747	text-align: center;
748	position: relative;
749	float: right;
750	right: 80%;
751	top: 0.3em;
752	width: 0px;
753}
754
755/* Environments */
756span.array, span.bracketcases, span.binomial, span.environment {
757	display: inline-table;
758	text-align: center;
759	border-collapse: collapse;
760	margin: 0em;
761	vertical-align: middle;
762}
763span.arrayrow, span.binomrow {
764	display: table-row;
765	padding: 0ex;
766	border: 0ex;
767}
768span.arraycell, span.bracket, span.case, span.binomcell, span.environmentcell {
769	display: table-cell;
770	padding: 0ex 0.2ex;
771	line-height: 99%;
772	border: 0ex;
773}
774/*
775* CSS file for LaTeX formulas, extra stuff:
776* binomials, vertical braces, stackrel, fonts and colors.
777*/
778
779/* Inline binomials */
780span.binom {
781	display: inline-block;
782	vertical-align: middle;
783	text-align: center;
784	font-size: 80%;
785}
786span.binomstack {
787	display: block;
788	padding: 0em;
789}
790
791/* Over- and underbraces */
792span.overbrace {
793	border-top: 2pt solid;
794}
795span.underbrace {
796	border-bottom: 2pt solid;
797}
798
799/* Stackrel */
800span.stackrel {
801	display: inline-block;
802	text-align: center;
803}
804span.upstackrel {
805	display: block;
806	padding: 0em;
807	font-size: 80%;
808	line-height: 64%;
809	position: relative;
810	top: 0.15em;
811
812}
813span.downstackrel {
814	display: block;
815	vertical-align: bottom;
816	padding: 0em;
817}
818
819/* Fonts */
820span.mathsf, span.textsf {
821	font-style: normal;
822	font-family: sans-serif;
823}
824span.mathrm, span.textrm {
825	font-style: normal;
826	font-family: serif;
827}
828span.text, span.textnormal {
829	font-style: normal;
830}
831span.textipa {
832	color: #008080;
833}
834span.fraktur {
835	font-family: "Lucida Blackletter", eufm10, blackletter;
836}
837span.blackboard {
838	font-family: Blackboard, msbm10, serif;
839}
840span.scriptfont {
841	font-family: "Monotype Corsiva", "Apple Chancery", "URW Chancery L", cursive;
842	font-style: italic;
843}
844
845/* Colors */
846span.colorbox {
847	display: inline-block;
848	padding: 5px;
849}
850span.fbox {
851	display: inline-block;
852	border: thin solid black;
853	padding: 2px;
854}
855span.boxed, span.framebox {
856	display: inline-block;
857	border: thin solid black;
858	padding: 5px;
859}
860
861/*
862* Obsolete definitions, kept for backwards compatibility.
863*/
864
865/* Footnotes */
866span.FootMarker {
867	color: #0030c0;
868	font-size: 0.75em;
869	line-height: 0.5em;
870	vertical-align: text-top;
871}
872span.Foot {
873	margin: 0.2ex;
874	border: thin solid #c0c0c0;
875	background: #ffffff;
876	padding: 0.5ex;
877	font-size: small;
878	font-weight: normal;
879	line-height: 1.5em;
880	text-align: left;
881}
882span.FootOuter .Foot {
883	display: none;
884	position: absolute;
885}
886span.FootOuter:hover .Foot {
887	display: inline;
888	float: none;
889}
890
891/* Dotted box */
892span.dotted {
893	border-top: thin dotted;
894}
895
896/* Obsolete aligned structures */
897span.numerator-l {
898	display: block;
899	text-align: left;
900}
901span.numerator-r {
902	display: block;
903	text-align: right;
904}
905span.numeratorl {
906	display: block;
907	text-align: left;
908}
909span.numeratorr {
910	display: block;
911	text-align: right;
912}
913span.framebox- {
914	display: inline-block;
915	border: thin solid black;
916	text-align: center;
917	padding: 5px;
918}
919span.framebox-l {
920	display: inline-block;
921	border: thin solid black;
922	text-align: left;
923	padding: 5px;
924}
925span.framebox-r {
926	display: inline-block;
927	border: thin solid black;
928	text-align: right;
929	padding: 5px;
930}
931td.formula-l {
932	text-align: left;
933	padding: 0.2ex;
934	border: 0ex;
935}
936td.formula-c {
937	text-align: center;
938	padding: 0.2ex;
939	border: 0ex;
940}
941td.formula-r {
942	text-align: right;
943	padding: 0.2ex;
944	border: 0ex;
945}
946
947/* Obsolete limits */
948sub.bigsymbol {
949	display: table-row;
950	text-align: left;
951	line-height: 150%;
952}
953sup.bigsymbol {
954	display: table-row;
955	text-align: left;
956	line-height: 150%;
957}
958
959/* Obsolete cases */
960table.cases {
961	display: inline-block;
962	text-align: center;
963	border-collapse: collapse;
964	margin: 0.2em;
965	border-left: thin solid;
966	vertical-align: middle;
967}
968table.cases tr td {
969	padding-left: 1ex;
970	padding-right: 1em;
971}
972
973/* Obsolete binomials */
974span.fullbinom {
975	display: inline-block;
976	vertical-align: middle;
977	text-align: center;
978}
979span.upbinom {
980	display: block;
981	padding: 0em;
982}
983span.downbinom {
984	display: block;
985	padding: 0em;
986}
987
988/* Obsolete environments */
989table.formula {
990	display: inline-block;
991	text-align: center;
992	border-collapse: collapse;
993	margin: 0em;
994	vertical-align: middle;
995}
996td.formula {
997	padding: 0.2ex;
998	border: 0ex;
999}
1000table.environment {
1001	display: inline-block;
1002	text-align: right;
1003	margin: 0;
1004	vertical-align: middle;
1005}
1006table.environment tr td {
1007	padding: 0 1em;
1008}
1009/*
1010* CSS section for print.
1011*/
1012@media print {
1013body {
1014	font: 90% serif;
1015	background: #ffffff;
1016	color: black;
1017	margin: 0;
1018	padding: 0;
1019}
1020#globalWrapper {
1021	width: 100%;
1022	margin: 0px;
1023	padding: 0px;
1024	background: #ffffff;
1025	line-height: 1.5em;
1026}
1027span.FootOuter .Foot {
1028	display: block;
1029	position: relative;
1030	float: right;
1031	clear: right;
1032	margin: 0.2ex;
1033	border: thin solid #c0c0c0;
1034	background: #ffffff;
1035	width: 30%;
1036	padding: 0.5ex;
1037	font-size: small;
1038	font-weight: normal;
1039	line-height: 1.5em;
1040	text-align: left;
1041}
1042span.FootOuter .HoverFoot {
1043	display: block;
1044	position: relative;
1045	float: right;
1046	clear: right;
1047	margin: 0.2ex;
1048	border: thin solid #c0c0c0;
1049	background: #ffffff;
1050	width: 30%;
1051	padding: 0.5ex;
1052	font-size: small;
1053	font-weight: normal;
1054	line-height: 1.5em;
1055	text-align: left;
1056}
1057a:visited {
1058	color: #0030c0;
1059}
1060/* end of print CSS */
1061}
1062