/*
 * Copyright 2009 German Research Center for Artificial Intelligence (DFKI)
 * 
 * Licensed under the Apache License, Version 2.0 (the "License"); you may
 * not use this file except in compliance with the License. You may obtain a
 * copy of the License at
 * 
 * http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
 * License for the specific language governing permissions and limitations
 * under the License.
 */ /*
 * This style file has partly been inspired by the docbook.css stylesheet of
 * The FreeBSD Documentation Project which can be found at:
 * http://www.freebsd.org/cgi/cvsweb.cgi/doc/share/misc/docbook.css
 */
html {
	margin: 0;
	padding: 0 8% 0 10%;
	background-color: #474747;
}

html body {
	padding: 1em 8% 1em 10%;
	line-height: 1.2;
	font-family: Georgia, Garamond, serif;
	background-color: #ffffff;
}

body div {
	margin: 0;
}

a[href] {
	color: #244aa5;
	text-decoration: none;
	border-bottom: 1px dashed #244aa5;
}

a[href]:hover {
	background: #eeeeee;
}

a[href ^="http://"]:before,a[href ^="https://"]:before,a[href ^="ftp://"]:before
	{
	content: "\2197\2009";
}

img {
	border: none;
}

h1,h2,h3,h4,h5,h6,.toc,.list-of-figures {
	color: #555555;
	font-family: sans-serif;
}

div.book>div.titlepage h1,div.book>div.titlepage h2,div.book>div.titlepage h3,div.book>div.titlepage h4
	{
	border: none;
}

div.book>div.titlepage h1.title {
	font-size: 260%;
	margin-bottom: 0;
}

div.book>div.titlepage h2.subtitle {
	margin-top: 0;
	margin-bottom: .8em;
	font-variant: small-caps;
}

h4.editedby {
	margin-bottom: 0;
}

h3.editor {
	margin-top: 0;
}

h3.editor,h4.editedby,.affiliation,.copyright,.legalnotice {
	margin-left: -4%;
}

dl {
	margin: .8em 0;
	line-height: 1.2;
}

dl dt {
	font-weight: bold;
	margin-bottom: 0;
}

div.glosslist dl dt {
	font-weight: bold;
}

dl dd {
	margin-top: 0;
}

dl dd p {
	margin-top: .4em;
}

body h1,body h2,body h3,body h4,body h5,body h6 {
	line-height: 1.3;
	margin-left: 0;
	border-bottom: 3px solid #f89d0e;
}

body h1,body h2 {
	margin: .8em 0 0 -4%;
}

body h3,body h4 {
	margin: .8em 0 0 -3%;
}

body h5 {
	margin: .8em 0 0 -2%;
}

body h6 {
	margin: .8em 0 0 -1%;
}

body hr {
	margin: .6em;
	border-width: 0 0 1px 0;
	border-style: solid;
	border-color: #cecece;
}

body pre {
	margin: .75em 0;
	line-height: 1.0;
	font-family: monospace;
}

body td,body th {
	line-height: 1.2;
}

ul,ol {
	margin: 0 0 .8em 3%;
	line-height: 1.2;
}

.filename {
	color: #ed0e58;
}

.shortcut {
	font-weight: bold;
	font-family: sans-serif;
	font-size: 90%;
}

.shortcut .keycap {
	background-color: #d3d3d3;
	border: 2px solid #a9a9a9;
}

.guimenu,.guisubmenu,.guimenuitem {
	border: 1px dashed gray;
}

.guilabel,.guibutton,.guimenu,.guisubmenu,.guimenuitem {
	font-family: sans-serif;
	font-size: 90%;
}

.guibutton {
	background-color: ButtonFace;
	padding: 2px;
	border: 1px outset gray;
}

.example,.informalexample {
	overflow: auto;
	border: 1px dashed #068375;
	margin: 1em 0;
	padding: 0.2em 2em;
	width: 90%;
	background-color: #fffcf7;
}

.note,.tip,.important,.warning {
	border: 3px solid #068375;
	padding: 0em 2em;
	margin: 1.5em 3em;
}

.note h3:before {
	content: url(gfx/admonitions/note.png) "\00a0";
}

.tip h3:before {
	content: url(gfx/admonitions/tip.png) "\00a0";
}

.note h3,.tip h3,.important h3,.warning h3 {
	border: none;
	margin-left: 0;
}

.errorname,.property,.methodname,.package,.classname,.interfacename,.systemitem,.function,.sgmltag-element,.sgmltag-attribute,.programlisting,.sgmltag-attvalue
	{
	font-family: monospace;
}

.errorname,.property,.methodname,.package,.classname,.interfacename,.systemitem,.function
	{
	color: #04665b;
}

table.simplelist td {
	padding-right: 1.6em;
	padding-top: .8em;
	padding-bottom: .8em;
}

/* source code highlighting and related coloring */
.hl-tag,.sgmltag-element {
	font-style: normal;
	font-weight: normal;
	color: #04665b;
}

.hl-attribute,.sgmltag-attribute {
	font-style: normal;
	font-weight: normal;
	color: #7c027c;
}

.hl-value,.hl-string,.sgmltag-attvalue {
	font-style: normal;
	font-weight: normal;
	color: #1a019a;
}

.hl-keyword {
	font-style: normal;
	font-weight: bold;
	color: #7c027c
}

.hl-doccomment {
	color: #3c5ebc;
	font-style: normal;
	font-weight: normal;
}

.hl-comment {
	color: #3c7e5c;
	font-style: normal;
	font-weight: normal;
}

.hl-annotation {
	color: #646464;
	font-style: italic;
	font-weight: normal;
}

.hl-directive {
	color: #646464;
	font-style: normal;
	font-weight: normal;
}

/* footers */
#footerright {
	float: right;
}

#footerleft {
	float: left;
}

#footer {
	clear: both;
	padding-top: 1.5em;
}

#footer p {
	margin: 0 0 .4em 0;
	font-size: 80%;
	font-family: sans-serif;
	color: #555555;
	font-size: 80%;
	font-size: 80%;
	color: #555555;
}

#footer ul,#footer li {
	margin: 0;
	padding: 0;
}

#footer li {
	float: left;
	list-style-type: none;
	padding-right: .8em;
}

#footer li a {
	border: none;
}

#footer li a:hover {
	background-color: inherit;
}

#footer a:before {
	content: "";
}

.navfooter {
	clear: both;
	padding-top: 1.5em;
}