/* $Id: jlug.css,v 1.5 2000/01/03 13:58:29 tito Exp $ */

body {
	background-color: #fffacd;
}

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.copyright {
	text-align: right;
	font-family: helvetica, sans-serif;
	font-size: smaller;
	color: rgb(40%,40%,40%)

}

div.marginal {
	margin-left: -2%;
	margin-right: -2%;
	padding: 0px;
	background-image: url("dash.png");
}

div.hr {
	background-image: url("img/dash2.png"); 
	color:#fffacd; 
	line-height:50%;
}

.hr:link {
	text-decoration: none;
}
.hr:visited {
	text-decoration: none;
}
.hr:active{
	text-decoration: none;
}
.hr:hover{
	text-decoration: none;
}




address {
	text-align: right;
        font-style: normal;
	font-size: smaller;
}

p {
	text-indent: 1em;
}

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

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

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


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

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

#note {
	color: red;
}


table.sample {
	font-mamily: monospace;
	margin-left: 0%;
	margin-right: 0%;
	background-color: #d0d0d0;
}

a.normref { 
	color : red;
}	

a.informref {
	color : green;
}	

strong {
	color: #033;
	font-weight: bold;
}

dl dd {
	padding-top: 0.3em;
	padding-bottom: 0.3em;
	line-height: 100%;
}

ul li {
	padding-bottom: 0.3em;
	line-height: 100%;
}

em {
	color: #300;
}


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

/* EOF */