h1 {
	font-family: sans-serif;
	font-size: 1.4em;
	font-weight: 800;
	font-style: normal;
	text-align: left;
	margin: 0 0 0.3em -1em;
	padding: 0;
}

h2 {
	font-family: sans-serif;
	font-size: 1.25em;
	font-weight: 600;
	font-style: italic;
	text-align: left;
	margin: 0 0 0.2em -1em;
	padding: 0;
}

h3 {
	font-family: sans-serif;
	font-size: 1.1em;
	font-weight: 500;
	font-style: italic;
	text-align: left;
	margin: 0 0 0.1em -1em;
	padding: 0;
}

div.section {
	margin: 0.4em 0 0.2em 1.5em;
}

div.slevel1 {
	margin: 1em 0 0.3em 0;
}

#body p {
	margin: 0.4em 0 0.2em 0;
	padding: 0;
}

#body img.photo {
	float: right;
	clear: right;
	margin: 5px 10px;
	padding: 0;
	border-width: 2px;
	border-style: outset;
	border-color: #604040;
	background-color: #FFFFFF;
}

#body a {
	text-decoration: underline;
	color: #4040C0;
}

#body a:hover {
	background-color: #D0D0D0;
}

#body a:active {
	color: #A06060;
}

#body a:visited {
	color: #606080;
}

#body ul, #body ol, #body dl {
	margin: 0.1em 0 0.05em 0;
	padding: 0 0 0 2em;
}

#body ul {
	list-style: disc;
}

#body li ul {
	list-style: circle;
}

#body ol {
	list-style: decimal;
}

#body li ol {
	list-style-type: lower-alpha;
}

#body dl {
	list-style: disc;
}

#body dl dt {
/*	display: list-item;
	list-style: disc;*/
	font-weight: bold;
}

div.changelog {
	max-width: 44em;
	margin: 1.5em 0;
	text-align: left;
}

#index div.changelog {
	font-size: 0.9em;
}

.changelog h1 {
	font-family: sans-serif;
	font-size: 1.2em;
	font-weight: 800;
	font-style: normal;
	text-align: left;
	margin: 0.2em 0 0.2em 0;
}

.changelog h2 {
	font-family: sans-serif;
	font-size: 1.1em;
	font-weight: 700;
	font-style: italic;
	text-align: left;
	margin: 0.3em 0 0.1em 0;
}

.changelog  li {
	margin: 0.1em 0;
	list-style: square;
}

dfn {
	font-style: normal;
	font-weight: bold;
	text-decoration: none;	
}

em {
	font-style: normal;
	font-weight: bold;
	/*font-stretch: wider; */
}

code {
	font-family: monospace;;
	font-size: 1.08em;
	background-color: #F8F8F8;
	padding: 0 1px;
	margin: 0 2px;
}

a code, h1 code, h2 code, h3 code, h4 code {
	background-color: inherit;
}

var {
	font-style: italic;
}

q {
	font-style: italic;
}


span.path {
	font-family: sans-serif;
	color: #2233DD;
}

pre {
	font-family: monospace;;
	font-size: 1.08em;
	background-color: #F8F8F8;
	padding: 2px;
	margin: auto;
}

body {
	background-color: #F0F0F1;
	color: #000000;
	font-family: serif;
	text-align: justify;
}

#body {
	margin: 2px 4%;
	padding: 0;
}

#title {
	font-family: sans-serif;
	font-size: 1.6em;
	font-weight: 800;
	font-style: normal;
	text-align: center;
	margin: 0 0 0.5em 0;
}

#index #title, #about #title {
	text-align: left;
	margin-left: 1em;
}

#menu {
	min-width: 550px;
	height: 6.5em;
	margin: 0.5em 4%;
	padding: 0 20px;
	vertical-align: top;
	border-style: solid none solid none;
	border-width: 2px 0 2px 0;
	border-color: #707070;
	font-family: sans-serif;
}

#menu * {
	list-style-image: none;
	list-style-position: outside;
	list-style-type: none;
	margin: 0;
	padding: 0;
}

#menu h5 {
	font-family: sans-serif;
	font-style: normal;
	font-weight: 600;
	font-size: 0.8em;
	text-decoration: none;
}
	
#menu li {
	display: block;
	margin: 0.5em 2em;
	padding: 0;
	float: left;
	min-width: 150px;
}

/* tak brzydko, bo IE jest glupi */
#menu li li {
	margin: 0;
	padding: 0;
	float: none;
	font-weight: 500;
	font-size: 0.8em;
}

#menu ul {
	display: block;
	margin: 0; padding: 0;
}



#menu a {
	padding: 2px;
	text-decoration: none;
	color: #4040C0;
}

#menu a:hover {
	background-color: #D0D0D0;
}

#menu a:active {
	color: #A06060;
}

#menu a:visited {
	color: #606080;
}


#menu + * {
	clear: both;
}

#validator-bar {
	width: 94%;
	min-width: 220px;
	height: 40px;
	margin: 10px 4%;
}

#validator-bar img {
	position: static;
	float: left;
	margin: 5px 5px 10px 10px;
	padding: 0;
	border-style: none;
	border-width: 0;
}


.labindex table, .lab table, .seminar table {
	border-style: outset;
	border-color: #606060;
	border-width: 4px;
	border-collapse: collapse;
	text-align: left;
	background-color: #F4F2E8;
	margin: 5px 3px;
}

.labindex td, .labindex th, .seminar th, .lab td, .lab th, .seminar td {
	padding: 3px 5px;
	border-style: solid;
	border-width: 1px;
	border-color: #000000;
}

.labindex th, .lab th, .seminar th {
	border-bottom-style: double;
	border-bottom-width: 3px;
	border-bottom-color: #000000;
	background-color: #D8D8D8;
}

.labindex col, .labindex col, .seminar col {
}

#mini-menu {
	min-width: 550px;
	height: 2.5em;
	margin: 0.5em 4%;
	padding: 0 20px;
	vertical-align: top;
	border-style: solid none solid none;
	border-width: 2px 0 2px 0;
	border-color: #707070;
}

#mini-menu li {
	display: block;
	list-style-image: none;
	list-style-position: outside;
	list-style-type: none;
	margin: 0.5em 2em;
	padding: 0;
	float: left;
	min-width: 120px;
	font-family: sans-serif;
	font-size: 0.8em;
}
#mini-menu a {
	padding: 2px;
	text-decoration: none;
	color: #4040C0;
}

#mini-menu a:hover {
	background-color: #D0D0D0;
}

#mini-menu a:active {
	color: #A06060;
}

#mini-menu a:visited {
	color: #606080;
}

#mini-menu + * {
	clear: both;
}

div.example {
	display: block;
	margin: 10px 0px;
	padding: 7px 7px;
	border-style: outset;
	border-width: 2px;
	border-color: #CCCCFF;
	background-color: #D8E8FF;
}

.example pre {
	display: block;
	margin: 10px;
	padding: 1px 2px;
	border-style: inset;
	border-width: 2px;
	border-color: #CCCCFF;
	background-color: #F8F8FF;
	font-family: monospace;
	overflow: auto;
}

.example h3, .task h3 {
	font-family: sans-serif;
	font-size: 1.1em;
	font-weight: 700;
	padding: 0;
	margin: 0 0 0.3em 0;
}

div.task {
	display: block;
	margin: 10px 0px;
	padding: 5px 8px;
	border-style: outset;
	border-width: 2px;
	border-color: #888888;
	background-color: #FFFFE0;
}

div.faq-question {
	color: #0000FF;
}