body {
	font: small Arial, Helvetica, sans-serif;
	background-color: #FFCC66;
	padding:5px;
	margin:10px;
	}
	
a {
	font-weight:bold;
	color:#505BA4;
	}
a:hover {
	text-decoration:none;
	font-weight:bold;
	color:#505BA4;
	}

pre {
	font-size:11px;
	color:blue;
	}
	
form { 
		margin: 0; 
		padding: 0;
	 }

ol {
	margin-right:40px;
	}
li {
	font-size: smaller;
	}
	
#title {
		padding:2px;
		margin-right:-6px;
		margin-left:-6px;
		width:100%; /* I have to specify a width for IE5 PC, or else it ignores the top-margin of the H1 element therein. But 100% is different in browsers without IE5x PC's broken box model, so I have to use the CSS2 selector trick to set the width to auto for those browsers*/
		voice-family: "\"}\"";
		voice-family: inherit;
		width:auto;
		border-top:1px solid #000;
		border-bottom:1px solid #000;
		border-right:10px solid #000;
		border-left:10px solid #000;
		margin-top:10px;
		padding-left:10px;
		padding-right:5px;
		padding-top:5px;
		padding-bottom:5px;
		background:#fff;
		}
	html>body #title {
		width:auto;
		}
	
	#content {
	    float:left;
		width:70%;
		background:#fff;
		border:1px solid #000;
		margin-right:15px;
		padding-bottom:20px;
		}
	#logo {
	    float:left;
		width:33%;
		background:#fff;
		margin-right:15px;
		}
	#headerright {
	    float:right;
		width:33%;
		background:#fff;
		margin-right:15px;
		}
	#rightcolumn {
	    float:right;
		width:33%;
		border:1px solid #B4BECD;
		background:#fff;
		margin-right:15px;
		font: smaller Arial, Helvetica, sans-serif;
		}
	#leftcolumn {
	    float:left;
		width:45%;
		background:#fff;
		margin-right:15px;
		}
	
	#rightcontent {
	    float: right;
	    width:26%;
	    background:#fff;
	    border:1px solid #000; 
	    /* border-left:1px dashed #000; */
	    /* border-bottom:1px solid #000; */
	    padding-bottom:20px;
		}
	#rightcontent H1{
	    background:#e1661a;
	    border-bottom:1px solid #000; 
	    padding: 3px;
	    font: medium;
	    color:#fff;
		}
	#rightcontent p{
	    padding-left: 15px;
	    }

	p  {
	    font-size: smaller;
	    margin-left: 10px;
	    margin-right: 20px;
		}
	#pagetitle {
	    padding-left: 3px;
	    color: #505BA4;
	    }
	    
#footer {
		padding:2px;
		border:1px solid #505BA4;
		margin-top:10px;
		padding: 5px;
		background:#fff;
		font-size: smaller;
		clear: both;
		}
		
/*<![CDATA[*/
  .syntax
  {
    margin-left: 10px;
    background-color: #eee;
  }
  .rightbox
  {
    float: right; 
    width: 264px;
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: #eee;
    font-size: smaller;
    margin: 1ex;
    padding: 1ex;
  }
  .box
  {
    float: right; 
    clear: right;
    width: 264px;
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: #eee;
    font-size: smaller;
    margin: 1ex;
    padding: 1ex;
  }
  .rightbox ul
  {
    margin-left: 3ex;
    margin-bottom: 0px;
  }
  .box ul
  {
    margin-left: 3ex;
    margin-bottom: 0px;
  }
  .abstract
  {
    margin-left: 1em;
    margin-right: 2em;
    padding: 1ex;
    border: 1px dotted black;
    background-color: #CCCC66;
  }
  .abstract h3
  {
    margin: 0px;
  }
  .abstract p
  {
    margin-top: 0px;
    margin-bottom: 0px;
  }
  .comment
{
  color: green;
  text-decoration: italic;
}
.keyword
{
  color: blue;
}

.scroller
{
  border: 2px dotted black;
  padding: 3px;
  width: 155px;
  }
span.removelink {
 color: #31679C; font-weight: bold
  }

/*]]>*/