/* Standard.css */

BODY
	{
		background: white;
		color: black;
	}

STRONG
	{
		/* font-family: sans-serif; */
		font-style: italic;
	}

TABLE CAPTION
	{
		/* text-align: right; */
		vertical-align: bottom;
		font-family: sans-serif;
		font-size: 80%;
	}

H1 { text-align: center }
H2
	{
		margin-top: 1em;
	}

H4, H5, H6 { margin-left: 2em; }
H1, H2, H3, H4, H5, H6 { font-family: sans-serif }

SPAN.source-code
	{
		font-family: Courier;
	}

.warning
	{
		color: red;
	}

.warning .comment
	{
		color: red;
	}

.notice
	{
		color: blue;
	}

.notice .comment
	{
		color: blue;
	}

.comment
	{
		color: green;
	}

.source-code STRONG
	{
		font-family: Courier;
		font-style: bold;
	}

.doc-title
	{
		font-style: italic;
	}

DIV.biblio-entry
	{
		margin-left: 2em;
	}

DIV.biblio-entry .doc-title
	{
		font-size: 120%;
	}

.guideline
	{
		color: blue;
	}


PRE
	{
		margin-left: 1em;
	}

DIV.source-code
	{
		padding: 1em;
		border: solid thin;
		margin: 0;
		background: #eee;
	}

DIV.wrong-source-code
	{
		padding: 1em;
		border: solid thin;
		margin: 0;
		background: #eee;
		color: red;
	}

PRE.source-code
	{
		margin-left: 0;
	}

PRE.wrong-source-code
	{
		margin-left: 0;
		color: red;
	}

DIV.author-note
	{
		font-family:	sans-serif;
		font-size:		80%;
		text-align:		right;
		margin-top:		0.5em;
		margin-left:  15em;
	}

.editor-note
	{
		color: blue;
	}

DIV.rule
	{
		margin-left:	4em;
		margin-right:	4em;
		margin-top: 1em;
	}

DIV.document-label
	{
		margin-left:	4em;
		margin-right:	4em;
		margin-top:		1em;
	}


DIV.contents
	{
		font-family: sans-serif;
	}

.contents UL
	{
		list-style-type: square;
	}