@charset "iso-8859-2";

/*
 * :CSS 2.1 
 * $Id: screen.css,v 1.1.1.1 2005/11/11 20:04:30 lkundrak Exp $
 */

@media screen {

/*
 * getting rid of defaults
 */

*,
div.menu ul li ul li,	/* trident/amaya hack */
h2, h3, a		/* trident hack */
{
	margin:		0px;
	padding:	0px;
	font:		inherit;
	color:		inherit;
	text-decoration: inherit;
	border:		none;
}

body,
h2, h3, a		/* trident hack */
{
	font-family:	sans-serif;
	font-size:	10pt;
	text-decoration: none;
	color:		black;
}

body {
        background:     url('fade.png');
	background-repeat:      repeat-y;
}

/*
 * menu
 */

div.menu
{
	width:		20%;
	position:	fixed;
	left:		0px;
	background:	#eeeeee;
	float:		left;
}

div.menu ul
{
	margin:		0px;
	padding:	0px;
	list-style-type: none;
}

div.menu ul li
{
	border:		1px solid gray;
	margin:		.5em;
	padding:	.5em;
}

div.menu ul li ul
{
	margin-left:	1em;
}

div.menu span.filesize
{
	font-size:	8pt;
	color:		darkgray;
}

/*
 * main
 */

div.main
{
	margin-bottom:	.5em;
	position:	absolute;
	top:		0px;
	left:		20%;
	clear:		both;
	height:		100%;
	padding:	.5em;
}

div.main pre.listing
{
	padding:	.5em;
	margin:		.5em;
	border:		1px solid gray;
	background:	#eeeeee;
}

div.main p
{
	margin:		6pt 0pt;
	text-indent:	2em;
	text-align:	justify;
}

div.main h1
{
	font-size: 	11pt;
	text-align:	center;
}

div.main h1,
div.main h2,
div.main h3
{
	margin-bottom:	12pt;
}

div.main div.syntax
{
	border-left:	1px solid black;
}

div.main tt.c,
div.main tt.f
{
	background:	#eeeeee;
}

div.main table td,
div.main table th
{
	padding-left:	2em;
}

div.main div.syntax,
div.main ul,
div.main table
{
	padding:	.5em;
	margin:		.5em;
}


/*
 * HTML general
 */

h1, h2, h3, h4, h5, h6, h7
		{ font-weight:	bold; }
h1		{ padding:	3pt 0pt; }
b, strong, dt	{ font-weight:	bold; }
tt, pre		{ font-family:	monospace; }
pre i		{ font-family:	times,serif; }	/* opera has ugly default */
i		{ font-style:	italic; }
dd		{ margin-left:	1em; }
input, textarea	{ border:	1px solid black; }
a		{ color:	darkblue; }
a:hover		{ text-decoration: underline; }
ul, ol		{ padding-left:	3em; }

} /* screen */