a
{
	color: white;
	background-color: transparent;

	text-decoration: none;
	font-weight: bold;
}

a:hover
{
	text-decoration: underline;
}

a.extern
{
	padding-left: 10px;
	background-image: url(art/v4/link-extern.png);
	background-position: left center;
	background-repeat: no-repeat;
}

a.intern
{
	padding-left: 10px;
	background-image: url(art/v4/link-intern.png);
	background-position: left center;
	background-repeat: no-repeat;
}

a.btn
{
	display: block;
	width: 48px;
	height: 48px;
}

a.btn span
{
	display: none;
}

a.btn.back
{
	background-image: url(art/v4/back_inact.png);
	background-position: left top;
	background-repeat: no-repeat;
}

a.btn.back:hover
{
	background-image: url(art/v4/back_act.png);
	background-position: left top;
	background-repeat: no-repeat;
}

body
{
	background-color: black;
	color: silver;
	text-align: justify;
}

code
{
	font-family: monospace;
}

code.listing
{
	background-color: silver;
	color: black;
	
	padding: 0.5em;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	display: block;
	white-space: pre;
}

div.code
{
	border: 1px solid white;
	font-family: monospace;
	text-align: left;
	padding: 1ex;
	margin: 1ex;
}

div.code em
{
	font-style: italic;
	text-decoration: underline;
}

div.content
{
	border-top: 1px dashed gray;
	margin-top: 1ex;
	padding-top: 1ex;
}

div.content p
{
	text-align: justify;
}

div.content li
{
	margin-bottom: 0.7ex;
}

div.footer
{
	border-top: 1px dashed gray;
	padding-top: 1ex;
	margin-top: 1ex;
}

div.header,
div.menu,
div.content,
div.footer
{
	margin-left: auto;
	margin-right: auto;

	width: 75ex;
}

div.header
{
	color: white;
	background-color: transparent;
	border-bottom: 1px dashed gray;
	margin-bottom: 1ex;
}

div.menu
{
	height: 50px;
	margin-top: 1px;
	margin-bottom: 1px;
}

div.menu div.btn
{
	background-repeat: no-repeat;

	width: 48px;
	height: 48px;
}

div.menu div.btn a
{
	color: black;
	background-color: transparent;

	display: block;

	width: 48px;
	height: 48px;
}

div.menu div.btn a span
{
	display: none;
}

div.menu #projects
{
	background-image: url(art/v4/projects_inact.png);
}

div.menu #projects:hover
{
	background-image: url(art/v4/projects_act.png);
}

div.menu #papers
{
	background-image: url(art/v4/papers_inact.png);
	position: relative;
	top: -48px;
	left: 52px;
}

div.menu #papers:hover
{
	background-image: url(art/v4/papers_act.png);
}

div.menu #links
{
	background-image: url(art/v4/links_inact.png);
	position: relative;
	top: -96px;
	left: 104px;
}

div.menu #links:hover
{
	background-image: url(art/v4/links_act.png);
}

div.msie
{
	position: absolute;
	z-index: 10;
	bottom: 2em;
	left: 2em;

	width: 36em;
	padding: 1.5em;

	background-color: black;
	color: white;
	border: 2px inset red;
}

div.msie img
{
	width: 90px;
	height: 91px;

	margin-top: 0px;
	margin-right: 0px;
	margin-left: 1.5em;
	margin-bottom: 1.5em;

	background-color: white;
	color: black;
	border: 1px outset gray;

	display: block;
	float: right;
}

div.remote
{
	background-color: inherit;
	color: gray;
	font-size: x-small;

	float: left;
	clear: left;
}

div.signature
{
	font-size: smaller;

	color: gray;
	background-color: transparent;

	padding: 0.5ex;

	float: left;
}

div.signature:hover
{
	color: silver;
	background-color: transparent;
}

div.signature a
{
	color: inherit;
	background-color: transparent;
	text-decoration: none;
}

div.signature a:hover
{
	color: white;
	background-color: transparent;
	text-decoration: underline;
}

div.signature span
{
	display: none;
}

div.w3c
{
	float: right;
}

div.w3c img
{
	width: 88px;
	height: 31px;

	border: none;
}

hr
{
	border-top: none;
	border-left: none;
	border-right: none;
	border-bottom: 1px dashed gray;
}

img
{
	border: none;
}

input[type=submit]
{
	background-color: #202020;
	color: white;

	border: 1px solid gray;

	font-weight: bold;
	font-family: inherit;
}

input[type=text]
{
	background-color: inherit;
	color: inherit;

	border: 1px solid gray;

	font-family: monospace;
}

table
{
	border-collapse: collapse;
}

td,
th
{
	padding: 0.5ex;
	
	border: 1px solid #505050;

	vertical-align: top;
}

th
{
	color: silver;
	background-color: #202020;
}
	
td.aim
{
	background-image: url(http://www.foxinus.cz:8085/aim/flocto/onurl=images.verplant.org/aim-icon-online.png/offurl=images.verplant.org/aim-icon-offline.png/unknownurl=images.verplant.org/aim-icon-offline.png);
}

td.icq
{
	background-image: url(http://web.icq.com/whitepages/online?icq=38803292&img=5);
}

td.jabber
{
	background-image: url(http://indicator.amessage.de/indicator.php?param1=octo&param2=small);
}

td.aim,
td.icq,
td.jabber
{
	padding-left: 22px;
	background-repeat: no-repeat;
	background-position: left;
}

.hidden
{
	display: none;
}