/*
 * Style sheet for the CSS2 specification
 * $Id: default.css,v 2.14 1998/03/24 16:16:22 bbos Exp $
 */

BODY {
	color: black;
    /* text-align: justify; */
    font-family: Helvetica, sans-serif;
    /*background-color : #e6e6fa;*/
	background-color	: LightGray;
	/*    margin: 3em; */
    /* For the REC: background: #def url(recbg.jpg); */
}
H2, H3, H4, H5, H6 {
    text-align: left;
}

H1 {
	border	: maroon 6px outset;
	background	: maroon;
	color: Tan;
	Font-family: serif;
	Font-weight: bold
	text-align: center;
	}
H2 {
	color: Tan;
	border	: DarkSlateGray 3px outset;
	background-color: DarkSlateGray;
    clear: left;
    margin-top: 3em;
    text-align: center;
	margin-left: 0;
	margin-right: 0;
	border-left-width: 0;
	border-right-width: 0;
	padding-left: 0;
	padding-right: 0;
}

H3 {
	color: DarkSlateGray;
}

.huge
{
    font-size: 3em
}

#propername
{
	color: white;
	background-color: DarkSlateGray;
	align: center;
}


PRE {
    font-family: monospace;
    margin-left: 1em;
    font-size: 90%
}

ADDRESS {
    text-align: right;
    font-style: italic;
}

VAR {
    font-style: normal;
}
IMG {
    border: 0;
}
.toc {
    text-indent: 0;
}
P.toc-line {
    margin-top: 1em;
    margin-bottom: 1em;
    text-indent: 0;
}

P.top {
    margin: 0em;
    background-color: maroon;
    color: Tan;
    font-size: x-large;
    font-weight: bolder
}

.notice
{font-size: small}

#caution{
color: white;
background-color: tomato;
font-size: small;
font-weight: bold;
}

#nameind{
font-size: small;
}

#itemtitle
{color: white;
background-color: SteelBlue;
font-size: small;
font-weight: bold;
}

#Author
{
font-weight: bold;
font-family: serif;
}

#Title
{
fint-family: "Times New Roman" serif;
font-style: italic;
font-weight: bold;
font-family: serif;
}

#Form, #Original, #Date
{
font-size: small;
}

a.Open
{
font-weight: bold;
background: Tamato;
}

a.Open:link
{
color: white;
background: Tomato;
}

a.Open:visited
{
color: Tomato;
background: white;
}

#fileopen
{
margin-left: 40px;
}

#File, #URL, #Locale
{
font-family: Courier, monospace;
font-size: small;
}

#book
{
background-color: Lavender;
margin: 0em;
border: 0em;
padding: 0em;
}

#mathn
{
background-color: Tan;
color: DarkSlateGray
}

#backtop
{
text-align: right;
\* background-color: Tan; \*
font-size: small;
font-family: Courier, monospace;
}

.prtout
{
font-size		:small;
/*font-weight		:lighter*/
font-variant	: small-caps;
/*border			: maroon 6px outset;*/
background		: maroon;
color			: white;
}

.kymst
{
    font-family:Courier, monospace;
    font-size:larger;
}


/* I don't like all that blue text, how about this: */
/* It should be 'inherit', but Netscape inserts a random color :-( */
A.noxref:link, A.noxref:visited {color: black; /*color: inherit*/}
DIV.example A:link, DIV.example A:visited {color: maroon; /*color: inherit*/}
DIV.deprecated-html-example A:link,
DIV.deprecated-html-example A:visited {color: red; /*color: inherit*/}
.note A:link, .note A:visited {color: green; /*color: inherit*/}

A.propdef-title {
  background: yellow;
}

A.descdef-title {
  color: yellow;
  background: green
}

/* TABLE {margin-left: 1em} */
DIV.propdef {margin: 1.2em 0}

div.example { color: maroon }
pre.example { color: maroon }
pre.illegal-example { color: red }
div.illegal-example { color: red }
div.illegal-example p { color: black }


div.html-example { color: maroon }
pre.html-example { color: maroon }
pre.illegal-html-example { color: red }
div.illegal-html-example { color: red }
div.illegal-html-example p { color: black }
pre.deprecated-html-example { color: red }
div.deprecated-html-example { color: red }
div.deprecated-html-example p { color: black }

div.xml-example { color: maroon }
pre.xml-example { color: maroon }
pre.illegal-xml-example { color: red }
div.illegal-xml-example { color: red }
div.illegal-xml-example p { color: black }

div.dtd-example { color: maroon }
pre.dtd-example { color: maroon }
pre.illegal-dtd-example { color: red }
div.illegal-dtd-example { color: red }
div.illegal-dtd-example p { color: black }

.note {
    font-weight: bold;
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 1em;
    margin-right: 1em;
    color: green
}

.normref { 
    color: red;
}	

.informref {
    color: green;
}	

DIV.propdef TH { 
    text-align: right; 
}

DIV.descdef TH { 
    text-align: right; 
}

UL.toc, OL.toc {list-style: none}
DIV.toc UL UL, DIV.toc OL OL {margin-left: 0}
DIV.toc UL UL UL, DIV.toc OL OL OL {margin-left: 1em}
DIV.toc UL UL UL UL, DIV.toc OL OL OL OL {margin-left: 0}
LI.tocline1 {font-weight: bold}
LI.tocline2 {font-weight: normal}
LI.tocline4 {font-style: italic}
/* DIV.subtoc UL, DIV.subtoc OL {list-style: none} */
/* The border in the following rule crashes NN4 on fonts.html :-(
DIV.subtoc {padding: 1em; border: solid black thin; margin: 1em 0;
    background: #ddd}
*/
UL.index {list-style: none}

S, DEL {text-decoration: line-through; color: red}
U, INS {text-decoration: underline; background: #bfa}

DIV.figure {
    text-align: center;
    /*border: solid thin;
    width: 100%;*/
    margin: 2.5em 0
}
P.caption, CAPTION {
    text-align: center;
    font-style: italic;
    font-weight: bold;
    font-size: 90%;
    color: #088;
    margin: 1.5em 25% 0 25%;
}
DIV.toc, UL.index, DT {
    text-align: left
}
SUP {
    vertical-align: super;
    font-size: 80%
}

.date {
	color: green;
	align: right;
	font-family: monospace;
	font-size: 1.5ex 
}

.index {
	background: cornflowerblue;
	color: beige;
	font-family: monospace;
	font-weight: lighter
	}

.comment {
	color: darkslategray;
	font-size: 1.2ex
	}

.file {
	color: darkvioret;
	font-family: monospace;
	font-size: 1.5ex;
	font-weight: light
	}