div.bodycopy {
        margin-left: 15%;
        margin-right: 10%;
	text-align: justify;
    }
    
    a:link,  a:visited {
	background-color: transparent;
    	color: rgb(0%, 0%, 80%);
	text-decoration: none;
    }

    a:hover  {
    	color: rgb(100%, 30%, 10%);
    	text-decoration : underline;
    }
    
    a:active {
    	background-color: rgb(100%, 30%, 10%);
	color: rgb(100%, 100%, 100%);
    }
  
    a.f:hover {     	    /* a name="fragment" tags */
	background-color: transparent;
    	color: rgb(0%, 0%, 0%);
	text-decoration: none;
    }
    
    body.standard {
    	color: #000000;
	background-color: #FFFFFF;
    }
    
    pre.listing {
    	font-family: Courier, monospace;
	font-size: 8pt;
    }
    
    td.s {
    	border: 0px;
	background-color: white;
    }

    /*	Glossary definition lists */
    dl.glossary dt {
    	font-weight: bold;
	padding-top: 1ex;
    }
    
    dl > dt:first-child {
    	padding-top: 0ex;
    }
    
    /*  Postprocessing software table  */
    dl.postprocess dt {
	padding-top: 1ex;
    }
    
    SPAN.comp PRE {
    	margin-top: 0px;
	margin-bottom: 0px;
	padding-bottom: 0px;
    }
    
    SPAN.comp LI {
    	padding-top: 4px;
    }
    
    SPAN.comp P {
    	padding-top: 0px;
	margin-top: 0px;
    }
    
    
    div.comp pre {
    	margin-top: 0px;
	margin-bottom: 0px;
	padding-bottom: 0px;
    }
    
    div.comp li {
    	padding-top: 4px;
    }
    
    div.comp p {
    	padding-top: 0px;
	margin-top: 0px;
    }

    span.adbc {
    	font-variant: small-caps;
	text-transform: lowercase;
    }
    
    SPAN.triv PRE {
    	margin-top: 0px;
	margin-bottom: 0px;
	padding-bottom: 0px;
    }
    
    SPAN.triv DL DT {
    	font-weight: bold;
    	margin-top: 6px;
	margin-bottom: 0px;
	padding-top: 8px;
	padding-bottom: 0px;
    }
    
    SPAN.triv DL > DT:first-child {
    	padding-top: 0px;
    }
    
    div.triv pre {
    	margin-top: 0px;
	margin-bottom: 0px;
	padding-bottom: 0px;
    }
    
    div.triv dl dt {
    	font-weight: bold;
    	margin-top: 6px;
	margin-bottom: 0px;
	padding-top: 8px;
	padding-bottom: 0px;
    }
    
    div.triv dl > dt:first-child {
    	padding-top: 0px;
    }