/* $Id: linux.css 2000/11/25 Hiroshi Nakamura $ */

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

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

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

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

h2 {
	background-color: #ddc;
}

h3 {
	background-color: #eed;
}

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

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

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

/* EOF */