/************************************************************************************/
/* This stylesheet is shared by all Web tools. It defines the layout. Colors, fonts, 
borders, backgrounds, etc. are defined in a stylesheet unique to each tool. For example,
the textravel.css stylesheet is unique to Textravel and the secref.css is unique to the
Security Coordinator Reference. */
/************************************************************************************/
body.webtool div.content {
	width: 950px;
} 
body.webtool div#mainarea {
	width: 560px;
	margin-left: 185px;
}
body.webtool div#mainareawide {
	width: 730px;
	margin-left: 5px;
}
code {
  font-family: "Courier New", Menlo, Monaco, Consolas, monospace;
  padding: 0;
  font-size: 1.8rem !important;
  background-color: transparent;
  color: #000;
  white-space: nowrap;
}
body.webtool div#mainarea p.info, body.webtool div#mainareawide p.info {
	text-align: right;
}
body.webtool ul#webtooltabs {
	float:left;
	background: none;
	font-size:90%;
	line-height:normal;
	border-bottom:1px solid #999999;
	padding: 0px 10px 0px 0px;
	list-style:none;
	width: 99%;
	margin-top: 10px;
	margin-right: 0px;
	margin-bottom: 10px;
	margin-left: 0px;
}
body.webtool ul#webtooltabs li {
      display:inline;
      margin:0;
      padding:0;
}
body.webtool div#menu, body.webtool div.leftmenu {
	margin: 5px 10px 5px 0px;
	padding: 0px;
	float: left;
	width: 170px;
}
body.webtool div#logo {
	margin: 5px 10px 0 0;
	padding: 0px;
	float: left;
	width: 170px;
}
body.webtool div#menu ul, body.webtool div.leftmenu ul {
	text-align: left;
	list-style: none;
	padding: 0px;
	margin: 0px;
	width: auto;
}
body.webtool div#menu ul li, body.webtool div.leftmenu ul li {
	display: block;
	margin: 0px;
	padding: 0px;
	width: 100%;
}
body.webtool div#menu h3 ,body.webtool div.leftmenu h2 {
	display: block;
	width: auto;
	padding: 0.5em 0.5em 0.5em 0.75em;
	margin: 0;
}
body.webtool div#menu ul li a, body.webtool div.leftmenu ul li a {
	display: block;
	
	padding: 0.5em 0.5em 0.5em 0.75em;
	margin: 0;
}
body.webtool div#menu ul ul.submenu, body.webtool div.leftmenu ul ul.submenu  {
	display: block;
	padding: 0.5em 0.5em 0.5em 20px;
	margin: 0;
}
body.webtool div#menu ul ul.submenu a, body.webtool div.leftmenu ul ul.submenu a {
	display: block;
	width: 100%;
	padding: 2px 0px 2px 0px;
	margin: 0;
} 
body.webtool div#menu ul ul.submenu a:hover, body.webtool div.leftmenu ul ul.submenu a:hover  {
	margin: 0px;
}
body.webtool div#sidebar {
	width: 190px;
	float: right;
	margin-top: 5px;
	margin-left:10px;
	margin-bottom:5px;
	padding: 0px;
}
body.webtool div#sidebar h3 {
	padding: 3px;
	margin: 0px;
}
body.webtool div#sidebar p {
	margin-right: 5px;
}
body.webtool div#sidebar ul.linklist li {
	margin-bottom: 0px;
	padding-bottom: 4px;
}
