p.outdent {
      margin-top:5pt;
      margin-bottom:5pt;
      margin-left:20pt;
}

p.sortbar {
      margin-top:5pt;
      margin-bottom:5pt;
      margin-left:30pt;
}

h1 {
  color:#696969;
  background-color:white;
  font:22px  arial, helvetica, sans-serif;
  font-weight:400;
  letter-spacing:.03em;
  text-align:center}
  
div.syntax {
  padding-left: 1em;
  display:block;
}

a {
  /*font:12px/18px  arial, helvetica, sans-serif;*/
  color:#0000ff;
  
  display:inline;
}

a.link {
  color:#0000ff;
  
  display:inline;
 
}
a.visited{color:#cc00cc}

a:hover {
/*font:12px/18px  arial, helvetica, sans-serif;*/
  color:#cc3300;
 
  display:inline;
 
}
code{font:100% monospace;}

pre{font:100% monospace;}

a.code {
  font:100% monospace;
  text-decoration:none;
  color:#0000ff;
  
  display:inline;
}

a.code:link {
  font:100% monospace;
  line-height:100%;
  color:#0000ff;
  text-decoration:none;
  display:inline;
}
a.code:visited{color:#cc00cc}

a.code:hover {

  color:#cc3300;
  text-decoration:none;
  display:inline;
}

div.type {
  margin-bottom: 1em
}
div.type p {
  margin:0
}

dl.return {
  padding: 0.5em 1em 0 0;
  font-size: small;
  line-height: 1em
}
dl.return dt {
  float: left;
  clear: left;
  width: 100px;
  font-weight: bold
}
dl.return dd {
  padding: 0 0 0.5em 0
}

p.sort{font:14px/18px  arial, helvetica, sans-serif;
  color:#ffffff;
  background-color:#000099;}

 a.sort{font:14px/18px  arial, helvetica, sans-serif;
  color:#ffffff;
  background-color:#000099;
  text-decoration:none;}

  a.sort:hover{font:14px/18px  arial, helvetica, sans-serif;
 color:#000099;
  background-color:white;
  text-decoration:none;}
  
  .this{font:14px/18px  arial, helvetica, sans-serif; /* EDITED THIS LINE - AN EXTRA BRACKET WAS BREAKING THE CSS */
 color:#000099;
  background-color:white;}

/* HALOGEN ADDED CSS BELOW */

body {
	margin:0px;
	padding:0px;
	min-width:748px;
	background-color:#6a727a;
	font-family:Arial, Helvetica, sans-serif;
	font-size:12px;
	color:#000;
}
#minorpoint {
	font-size:28px;	
}
#container {
	min-width:748px;
}
#header {
	background-image:url(headerback.jpg);
	height:100px;
	background-repeat:no-repeat;
	background-color:#4f768e;
	min-width:748px;
}
#header #topbar {
	background-image:url(topback.png);
	background-repeat:no-repeat;
	background-position:right;
	line-height:25px;
	text-align:right;
	color:#fff;
	padding-right:10px;
	font-weight:bold;
}
#header #topbar a{
	color:#fff;
	text-decoration:none;
	margin-right:5px;
	margin-left:5px;
}
#header #topbar a:hover{
	text-decoration:underline;
}
#header #omni {
	float:left;
	font-weight:bold;
	color:#fff;
	font-size:36px;
	padding-left:50px;
	line-height:38px;
}
#header #omni #guide {
	font-weight:normal;
	color:#ebebeb;
	font-size:20px;
	line-height:22px;
}
#header #stilo {
	font-size:0px;
	line-height:0px;
	color:#fff;
	background-image:url(stilo.png);
	width:397px;
	height:75px;
	float:right;
}
.mainnav.top {
	background-image: url(greyshadow.gif);
	background-repeat:repeat-x;
}
.greybar.bottom {	
	border-bottom:1px solid #6a727a;
	background-repeat:repeat-y;
}
#body {
	padding-left:15px;
	padding-right:15px;
}
#body #topsubnav {
	border-top: 1px solid #e1e3e5;
}
#body #topsubnav #topbluebar {
	background-color:#9eacb5;
	line-height:40px;
	font-size:14px;
	font-weight:bold;
	border-bottom:1px solid #6a737b;
	padding-left:35px;
}
#body #white {
	background-color:#fff;
	min-height:100px;
	clear:both;
	padding-left:35px;
	padding-right:17px;
	padding-top:10px;
	padding-bottom:10px;
}
#body #white a.syntax {
	color:black;
	text-decoration:none;
}
#body #white a.syntax:visited {
	color:black;
	text-decoration:none;
}
#body #white a.syntax:hover {
	color:black;
	text-decoration:underline;
}
#body #white a {
	color:#006699;
	text-decoration:underline;
}
#body #white a:hover {
	text-decoration:none;
}
#body #white a.code {
	color:#006699;
	text-decoration:none;
}
#body #white a.code:hover {
	text-decoration:underline;
}
#body #bottombluebar {
	background-color:#9eacb5;
	line-height:40px;
	font-size:14px;
	font-weight:bold;
	padding-left:35px;
	clear:both;
	border-top:1px solid #e1e3e5;
}
#footer {
	border-top:1px solid #474c54;
	margin-left:15px;
	margin-right:15px;
	padding-top:15px;
	color:#ccc;
}
#footer #left {
	float:left;
}
#footer #right {
	float:right;
	color:#6a727a;
	font-size:0px;
	line-height:0px;
	background-image:url(omni.gif);
	width:189px;
	height:36px;
}
#footer a {
	text-decoration:underline;
	color:#fff;
}
#footer a:hover {
	text-decoration:none;
}
#footer p {
	margin-top:0px;
}
/* Repeated Styles That are not Unique Begin Below */
.mainnav {
	padding:0px;
	padding-top:12px;
	padding-bottom:10px;
	text-align:center;
	margin:0px;
	list-style:none;
}
.mainnav.bottom {
	background:none;
}
.mainnav li {
	display:inline-block;
	border:1px solid #474c54;
}
.mainnav li:hover {	
	border:1px solid #d4d4d4;
}
.mainnav li a {
	display:inline-block;
	background-image:url(greybutton.gif);
	border:1px solid #68737b;
	border-top:none;
	line-height:25px;
	text-transform:uppercase;
	color:#fff;
	font-weight:bold;
	font-size:14px;
	padding-left:19px;
	padding-right:19px;
	text-decoration:none;
}
.mainnav li.on, .mainnav li.on:hover {
	border:1px solid #474c54;
	border-left:2px solid #474c54;
	border-top:2px solid #474c54;
}
.mainnav li.on a {
	border-bottom:none;
	border-right: none;
	background-image:url(greybuttonon.gif);
	color:#ebebeb;
}
.bluebuttons {
	padding:0px;
	padding-top:6px;
	padding-bottom:6px;
	padding-left:5px;
	margin:0px;
	list-style:none;
	display: inline;
}
.bluebuttons li {
	display:inline-block;
	border:1px solid #474c54;
	line-height:25px;
}
.bluebuttons li:hover {	
	border:1px solid #d4d4d4;
}
.bluebuttons li a{
	display:inline-block;
	background-image:url(bluebutton.gif);
	border:1px solid #748ca2;
	border-top:none;
	line-height:25px;
	color:#fff;
	font-weight:bold;
	padding-left:19px;
	padding-right:19px;
	text-decoration:none;
}
.bluebuttons li.on, .bluebuttons li.on:hover {
	border:1px solid #474c54;
	border-left:2px solid #474c54;
	border-top:2px solid #474c54;
}
.bluebuttons li.on a {
	border-bottom:none;
	border-right: none;
	background-image:url(greybuttonon.gif);
	color:#ebebeb;
	background-image:url(bluebuttonon.gif);
}
.greybar {
	background-image:url(greyback.gif);
	background-color:#ebebeb;
	background-repeat:repeat-x;
}
.greybar .segment {
	width:340px;
	border-right:1px solid #fff;
	padding-top:6px;
	padding-bottom:6px;
	display: table-cell;
	padding-left:35px;
	padding-right:17px;
}
.greybar .segment a {
	color:#006699;
	text-decoration:underline;
}
.greybar .segment a:hover {
	text-decoration: none;
}
.greybar .segment h2 {
	font-size:12px;
	margin-top:0px;
	margin-bottom:6px;
}