/* $Id: wloj.css,v 1.12 2000/05/15 03:42:05 ikeda Exp $ */

body {
	background: #FFFFF5;
	color: black;
	margin-left: 3%;
	margin-right: 3%;
}

div.lang-navigator {
	text-align: right;
	font-size: small;
}

div.mirror-navigator {
	text-align: right;
	font-size: small;
}

div.doc-navigator {
	text-align: center;
	font-size: smaller;
	color: rgb(40%,40%,40%);
}

div.news-navigator {
	text-align: center;
	font-size: small;
	font-weight: bold;
	color: rgb(0%,0%,0%);
}

div.copyright {
	text-align: right;
	font-family: helvetica, sans-serif;
	font-size: smaller;
	color: rgb(40%,40%,40%)
}

div.headline {
	text-align: center;
	font-size: larger;
}

address.contact-info {
	text-align: center;
	font-size: smaller;
}

font {
	font-size: smaller;
}

h1 {
	background-color: #ccb;
	text-align: center;
	border-style: inset;
	border-width: 0 2 2 0;
	border-color: #dddddd;
}

h2 {
	background-color: #ddc;
	border-style: inset;
	border-width: 0 2 2 0;
	border-color: #dddddd;}

h3 {
	background-color: #eed;
	border-style: inset;
	border-width: 0 2 2 0;
	border-color: #dddddd;}

p {
	text-indent: 1em;
}

p.noindent {
	text-indent: 0em;
}

p.note {
	text-indent: 0em;
	margin-left: 25%;
	font-size: smaller;
}

dl.list {
	margin-left: 3%;
}


blockquote {
	font-size: small;
	color: #030;
}

q {
	font-size: small;
	color: #030;
}

pre.example {
	margin-left: 10%;
	margin-right: 10%;
	color: #050;
}

a.normref { 
	color : red;
}	

a.informref {
	color : green;
}

a:link {
	color: rgb(0%,0%,75%);
}

a:visited {
	color: rgb(33%,0%,50%);
}	

a.internal:link {
	color: rgb(0%,0%,100%);
}	

a.internal:visited {
	color: rgb(50%,12%,75%);
}	

a:hover {
	text-decoration: underline;
}

strong {
	font-weight: bold;
}

dl dd {
	padding-top: 0.3em;
	padding-bottom: 0.3em;
}

ul li {
	padding-bottom: 0.3em;
}

span.note {
	font-size: smaller;
}

td.toc {
	background: rgb(95%, 95%, 95%);
	width: 35%;
}


table tr.odd,table tr.dark {
	background-color: #f0f0e0;
	vertical-align: top;
}


td {
	font-size: 12px;
}


table tr.even {
	background-color: #f8f8e4;
	vertical-align: top;
}

/* as of now, @import has not impremented in NN4 nor IE3-4 */
@import url(local.css)

/* EOF */