/* $Id: wloj.css,v 1.7 2007-09-21 02:43:23 yuji Exp $ */

body {
	background: white;
	color: black;
/*	margin-left: 3%;
	margin-right: 3%; */
}

pre {
	margin-left: 10%;
	margin-right: 10%;
	color: #0000ff;
}

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%)
}

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

h1 {
	background-color: #ccb;
	text-align: center;
}

h2 {
	background-color: #ddc;
}

h3 {
	background-color: #eed;
}

table {
	background-color: #eeeeee;
}
td{ background-color: #ffffff; }

p {
	text-indent: 0.5em;
}

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

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

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


blockquote {
  font-size: medium;
  color: #990000;
}

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

a {
  text-decoration: none;
  color: black;
}

a.normref { 
	color : red;
}

a.image{
  text-decoration: none;
  border:none;
}

a.informref {
	color : blue;
}	

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;
}

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

/* EOF */