/*
//////////////////////////////////////////////////////////////////////////////////////////////////
//												//
//		"style_moz.css" is part of kernel-project					//
//		This file defines the style sheets for the $browser="other"			//
//												//
//	<kernel-project - this project is a little introduction in the LINUX kernel>		//
//		Copyright (c) 2003,2004,2005,2006 Sebastian Wieseler				//
//												//
//	This program is free software; you can redistribute it and/or				//
//	modify it under the terms of the GNU General Public License				//
//	as published by the Free Software Foundation; either version 2				//
//	of the License, or (at your option) any later version.					//
//												//
//	This program is distributed in the hope that it will be useful,				//
//	but WITHOUT ANY WARRANTY; without even the implied warranty of				//
//	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the				//
//	GNU General Public License for more details.						//
//												//
//	You should have received a copy of the GNU General Public License			//
//	along with this program; if not, write to the Free Software				//
//	Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.		//
//												//
//////////////////////////////////////////////////////////////////////////////////////////////////
*/

* html #menu {
	position:absolute;
	display:block;
}

body {
	background: #DCDCFF;
	margin: 20px 20px 20px 150px;
}

p, th, td, pre, dd, dt, span, ul {
	font-size: 14px;
	font-family: sans-serif;
}

a {
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
}
a:visited {
	color: blue;
}

input {
	background-color: #D2D2FF;
	border: 1px solid black;
}
textarea {
	background-color: #D2D2FF;
	border: 1px solid black;
}

table {
	border-collapse: collapse;
	empty-cells: show;
	width: 100%;
}
th {background: #AFAFAF;}
td, th {
	padding-right: 10px;
	padding-left: 5px;
	border: 1px solid #94B4CB;
}

img {
	border: 0px none;
}

h1 {
	font-size: 16pt;
	font-weight: bold;
	border-bottom: 1px dashed gray;
}
h2 {
	font-size: 12pt;
	font-weight: bold;
	border-bottom: 1px dotted gray;
}


#banner {
	position: fixed;
	top: 0px;
	left: 0px;
	height: 75px;
	width: 130px;
	border-right: 1px solid black;
	background: #B4B4FF;
	padding: 5px;
}

#banner .logo {
	font-size: 18pt;
	font-family: sans-serif;
	font-weight: bolder;
	text-align: center;
	margin-top: 10px;
}
#banner .desc {
	font-size: 7pt;
	font-family: sans-serif;
	text-align: center;
}

#menu {
	position: fixed;
	top: 75px;
	bottom: 0px;
	left: 0px;
	width: 130px;
	border-right: 1px solid black;
	border-top: 1px solid black;
	background: #B4B4FF;
	padding: 5px;
}

#menu a {
	display: block;
	color: #000000;
	padding: 3px;
	text-decoration: none;
}
#menu a:hover {
	background: #9696FF;
	text-decoration: underline;
}
#menu .active {
	font-weight: bold;
}
#menu .ident1 {
	text-indent: 20px;
}
#menu .ident2 {
	text-indent: 30px;
}
#menu .ident3 {
	margin-left: 30px;
}

.quote {
	background-color: #D2D2FF;
	border: 1px solid black;
	width: 80%;
	margin-left: 10%;
	padding: 4px;
}

.example {
	background-color:rgb(90%,90%,70%);
	border: 1px solid black;
	width: 60%;
	margin-left: 15%;
	padding: 4px;
}

#copyright {
	font-size: 14px;
	background-color: #B4B4FF;
	border: 1px solid black;
	padding-left: 10px;
	width: 100%;
}

/* Code from TIDY */
span.c1 { font-weight: bold; }
span.c2 { font-style: italic; }
td.c1 { border:0px solid #94B4CB; }
div.c1 { font-weight: bold; padding-left: 20px; }
div.c2 { text-align:right; }
div.c3 { text-align:center; }
li.c1 { list-style: none; }
hr.c1 { color:#8080C0; }