/*	MiLCA.css 
		Fragen und Anregungen: Maik Stuehrenberg, JLU Giessen
		maik.stuehrenberg@uni-giessen.de
		zuletzt geaendert am: 20-11-2003, 11:20
		Copyright (c) 2003 Maik Stührenberg (JLU Gießen)
		Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation;
		with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
		A copy of the license is included in the file entitled "fdl.txt".
*/

/* Element formatting */
acronym { border-bottom:1px dotted; }
body { margin:30px; background-color:#ffffff; }
h1, h2, h3, p, td, ul, ol, li { font-family:verdana,arial,sans-serif; }
math { text-align:left; }
math *.[mathsize="big"] { font-size:125% }

/* Class formatting */
.Code { font-family:monospace; font-size:120%; }
.CodeExample { text-indent:4em; font-weight:bold; font-family:monospace; font-size:120%; }
.CodeBlock { font-family:monospace; margin-bottom:15pt; padding:5px; padding-left:10px; background-color:#cccccc; margin-left:5pt; margin-right:5pt; }
.Comment { background-color:yellow; text-align:justify; }
.Description { margin-bottom:12pt; margin-top:12pt; margin-left:5%; margin-right:5%; padding:10px; font-family:verdana,arial,sans-serif; font-weight:bold; background-color:#efefef; }
.Example { text-indent:3em; font-weight:bold; margin:15pt; }
.ExampleText { text-indent:4em; font-weight:bold; }
.Exercise { font-family:verdana,arial,sans-serif; background-color:#cccccc; margin-left:5pt; margin-right:5pt; border-style:solid; border-width:2pt; border-color:#808080; padding:5pt; padding-left:10pt; }
.Extract { margin-left:20%; margin-right:20%; margin-top:15px; padding:10px; font-family:verdana,arial,sans-serif; font-weight:bold; background-color:#cccccc; border-style:solid; border-color:black; border-width:2; }
.Formula { font-size:12pt; white-space: nowrap; }
.FormulaBlock { font-family:CMSY10,CMEX10,Symbol,Times; font-style:normal; font-size:14pt; color:blue; word-spacing:.2em; margin: 20px; position:relative; padding:10px; white-space:nowrap; }
.GlossaryEntry { color:black; font-weight:bold; }
.GlossaryTerm { color:red; text-decoration:none; }
.Headline { }
.Highlight { background-color:yellow; }
.Image { font-family:verdana,arial,sans-serif; font-weight:bold; font-size:smaller; }
.Imagetext { font-family:verdana,arial,sans-serif; font-size:smaller; }
.Indent { text-indent:3em; } 
.Intuition { font-weight:italic; }
.Keyword { font-weight:bold; }
.Label { margin-left:80%; }
.Mention { font-style:italic; }
.Mention:before { content: open-quote; }
.Mention:after { content: close-quote; }
.MetaLanguageUse { font-style:italic; }
.Nav { background-color:#cccccc; }
.NavItem { font-size:10pt; color:black; }
.NavItem:link { color:black; text-decoration:none; }
.NavItem:active { color:black; text-decoration:none; }
.NavItem:visited { color:black; text-decoration:none; }
.Paragraph { margin-bottom:12pt; margin-top:12pt; font-family:verdana,arial,sans-serif; }
.Reference { font-style:italic; }