@charset "utf-8";
/* author: simon.harding@vsni.co.uk */
/* Creation date: 30/12/2003 */
<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
<style>
p	{
	margin-top: 0px;
	margin-bottom: 1px;
	}

pre.output
	{
	margin-top: 0.5em;
	margin-bottom: 1px;
	background: white;
	border: solid;
	border-width: 1px;
	padding-left: 1.5em;
	padding-top: 5px;
	}

body
	{
	background: #FFFFCC;
	color: black;
	font-family: Helvetica, Arial, sans-serif ;
	font-size: 10pt;
	font-weight: normal;
	font-style: normal;
	}

font.base
	{
	font-family: Helvetica, Arial, sans-serif ;
	font-size: 10pt;
	font-weight: normal;
	font-style: normal;
	}

ul.unmarked
	{
	list-style-type: none;
	margin-top: 0em;
	margin-left: 0em;
	}
	
ul.seeAlso
	{
	list-style-type: none;
	margin-top: 0em;
	margin-left: 0em;
	}

h1
	{
	font-size: 18pt;
	margin-top: 0px;
	margin-bottom: 15px;
	border-bottom: groove;
	border-width: 2px;
	border-color: gray;
	background: #dddddd;
	}

h1.new
	{
	font-size: 18pt;
	margin-top: 0px;
	margin-bottom: 4px;
	border-bottom: groove;
	border-width: 2px;
	border-color: gray;
	background: #dddddd;
	}

h2
	{
	font-size: 13pt;
	margin-bottom: 0px;
	}

h2.seeAlso
	{
	color: blue;
	font-size: 13pt;
	margin-bottom: 0px;
	border-top: solid;
	padding-top: 2px;
	border-width: 1px;
	border-color: gray;
	clear: left;
	}

h3	{
	font-size: 12pt;
	margin-bottom: 0px;
	}

h3.small
        {
	font-size: 10pt;
	margin-bottom: 0px;
	}

h3.new
        {
	font-size: 12pt;
	margin-bottom: 10px;
	}

h3.option
	{
	font-size: 10pt;
	margin-bottom: 2px;
	color: #993333;
	font-weight: bolder;
	}

h4	{
	font-size: 10pt;
	margin-bottom: 0px;
	background: #dddddd;
	}

hr.title
	{
	margin-bottom: 15px;
	}
								<!-- Genstat syntax -->
font.syntax
	{
	font-size: 10pt;
	font-family: Courier, monospace;
	color:#008800}

								<!-- An inline footnote -->
font.note
	{
	font-size: smaller;
	color:#990000;
	}

								<!-- Option setting on a menu (eg Radio Button names) -->
font.mOption
	{
	color: #993333;
	font-family: Helvetica, Arial, sans-serif ;
	font-size: 10pt;
	font-weight: bolder;
	}
								<!-- Windows text -->	
font.windows
	{
	font-size: 10pt;
	font-weight: bolder;
	}

A:hover
	{
	font-weight: bold;
	}

A.syntax
	{
	font-size: 10pt;
	font-family: Courier, monospace;
	}

SPAN.exampleTitle
	{
	font-family: Arial, sans-serif;
	font-weight: bold;
	font-size: 10pt;
	border-top: solid;
	border-width: 2;
	border-color: gray;
	background: #feeeee;
	padding-top: 2px;
	padding-bottom: 4px;
	padding-left: 5px;
	margin-left: 15%;
	width: 70%;
	}
	
		
span.arg
	{
	font-style: italic;
	color: red;
	}
				
DIV.example
	{
	border-top: solid;
	border-bottom: solid;
	border-width: 2;
	border-color: gray;
	padding: 5px;
	background: #feeeee;
	width: 70%;
	margin-left: 15%;
	font-family: Courier, monospace;
	font-size: 9pt
	}
			 
DIV.name
	{
	width: 25%;
	float: left;
	clear: left;
	}

DIV.description
	{
	width: 70%;
	margin-left: 30%
	}

td
	{
	text-align: left;
	background: #FFFFCC;
	color: black;
	font-family: Helvetica, Arial, sans-serif ;
	font-size: 10pt;
	}

td.abutton
	{
	color: black;
	text-align: left;
	font-family: Helvetica, Arial, sans-serif ;
	font-size: 10pt;
	font-weight: bold;
	padding-right: 6px;
	}						 

td.syntax
	{
	text-align: right;
	background: #FFFFCC;
	color: #008800;
	font-family: Courier, monospace ;
	font-size: 10pt;
	white-space: pre;
	padding-right: 2em;
	}
						 
td.option
	{
	text-align: left;
	padding-right: 2em;
	background: #FFFFCC;
	color: #993333;
	font-family: Helvetica, Arial, sans-serif ;
	font-size: 10pt;
	font-weight: bolder;
	}

td.type
	{
	text-align: left;
	padding-right: 1.5em;
	background: #FFFFCC;
	color: #0000cc;
	font-family: Helvetica, Arial, sans-serif ;
	font-size: 10pt;
	font-style: italic;
	}	
	
td.colTitle
	{
	text-align: left;
	padding-right: 1.5em;
	background: #FFFFCC;
	color: #000000;
	font-family: Helvetica, Arial, sans-serif ;
	font-size: 10pt;
	font-weight: bolder;
	border-bottom: solid;
	border-bottom-color: #000000;
	border-bottom-width: 1;
	}	
		
								<!-- Genstat syntax -->
span.syntax
	{
	font-size: 10pt;
	font-family: Courier, monospace;
	color:#008800
	}

span.parameter
	{
	font-style: italic;
	color:#222222;
	font-family: Arial, sans-serif;
	font-weight: bold;
	font-size: 10pt;
	}

COL.key {width:42px; margin-right: 2em;}

COL.gexp {width: 8em; margin-right 2em;}

COL.mexp {width: 9em; margin-right 3em;}

COL.mexp {width: 9em; margin-right 3em;}

col.option
	{
	text-align: left;
	padding-right: 2em;
	background: #FF00CC;
	color: #993333;
	font-family: Helvetica, Arial, sans-serif ;
	font-size: 10pt;
	font-weight: bolder;
	}

col.syntax
	{
	text-align: left;
	padding-right: 2em;
	background: #FF00CC;
	color: #993333;
	font-family: Courier, monospace ;
	font-size: 10pt;
	font-weight: normal;
	}

</style>