/* ~~~~~~~~~~~~~~~~~~~ LEFTNAV BUTTONS ~~~~~~~~~~~~~~~~ */
/* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */

#leftnav #buttons {
	float: left;
	clear: left;
	display: block;
	position: relative;
	color: inherit;
	background-color: transparent;
	border: none;
	font-weight: 600;
	font-family: "trebuchet ms", "lucida grande", "lucida sans", "gill sans", arial, sans-serif;
	text-decoration: none;
	margin-top: -0.5em;
	margin-bottom: 1em;
	padding-right: 0em;
	z-index: 4;
	width: 100%;
	}

#leftnav #buttons {   /* workaround for IE bug  */
  /* for Firefox, Gecko, Camino, Konqueror, Linux */
	font-size: 80%;
	margin-right: 1em;
	margin-left: -0.4em;
	padding-top: 0.3em;
	padding-left: 0em;
	padding-bottom: 1em;
	voice-family: "\"}\"";
	voice-family:inherit;
  /* for IE */
	font-size: 78%;
	margin-right: 0em;
	margin-left: 0em;
	padding-top: 0.4em;
	padding-left: 0em;
	padding-bottom: 0.3em;
	}

html>body #leftnav #buttons {
  /* be nice to Opera rule */
	font-size: 80%;
	margin-right: 1em;
	margin-left: -0.4em;
	padding-top: 0.3em;
	padding-left: 0em;
	padding-bottom: 1em;
	}

#leftnav img {  /* affects all images in the navigation */
	border: 0;
	}

#leftnav #translate {
	margin-top: 1em;
	margin-bottom: -0.5em;
	}

#side_toc {
	position: relative;
	color: inherit;
	background-color: transparent;
	float: left;
	z-index: 50;
	font-family: "trebuchet ms", "lucida grande", "lucida sans", "gill sans", arial, sans-serif;
	vertical-align: top;
	margin-top: 0.5em;
	padding-top: 0em;
	padding-right: 0em;
	padding-bottom: 0em;
	height: 100%;
	width: 100%;
	}

#side_toc {
  /* for Firefox, Gecko, Camino, Konqueror, Linux */
	margin-right: 0em;
	margin-bottom: 0em;
	margin-left: 0em;
	padding-left: 0em;
	voice-family: "\"}\"";
	voice-family:inherit;
  /* for IE */
	margin-right: 0em;
	margin-bottom: 0em;
	margin-left: -0.8em;
	padding-left: 0em;
	}

html>body #side_toc {
  /* be nice to Opera rule */
	margin-right: 0em;
	margin-bottom: 0em;
	margin-left: 0em;
	padding-left: 0em;
	}

#leftnav #side_toc dl {
	display: block;
	list-style: none;
	color: inherit;
	background-color: #fff;
	text-decoration: none;
	margin-top: 0.4em;
	margin-bottom: 0em;
	margin-left: 0em;
	padding-top: 0em;
	padding-bottom: 0em;
	padding-left: 0em;
	width: 100%;
	}

#leftnav #side_toc dl {   /* workaround for IE bug  */
  /* for Firefox, Gecko, Camino, Konqueror, Linux */
	margin-right: 0em;
	padding-right: 0em;
	voice-family: "\"}\"";
	voice-family:inherit;
  /* for IE */
	margin-right: 0em;
	padding-right: 0em;
	}

html>body #leftnav #side_toc dl {
  /* be nice to Opera rule */
	margin-right: 0em;
	padding-right: 0em;
	}


#side_toc dd.head {  /* solid-color stationary buttons */
	display: block;
	height: auto;
	color: #fff;
	background-color: #000;
	text-decoration: none;
	text-indent: 3%;
	text-align: left;
	margin-top: 0.5em;
	margin-right: 0em;
	margin-bottom: 0em;
	margin-left: 0.1em;
	padding-top: 0.1em;
	width: 100%;
	}


#side_toc dd.head {   /* workaround for IE bug  */
  /* for Firefox, Gecko, Camino, Konqueror, Linux */
	padding-right: 0.9em;
	padding-bottom: 0.1em;
	padding-left: 0em;
	voice-family: "\"}\"";
	voice-family:inherit;
  /* for IE */
	padding-right: 1.1em;
	padding-bottom: 0.3em;
	padding-left: 0em;
	}

html>body 
#side_toc dd.head {
  /* be nice to Opera rule */
	padding-right: 0.9em;
	padding-bottom: 0.1em;
	padding-left: 0em;
	}


#side_toc dl dd {  /* background for beveled edge button sep */
	display: block;
	height: auto;
	color: #000;
	background-color: #fff;
	text-decoration: none;
	margin-top: 0em;
	margin-right: 0em;
	margin-bottom: 0em;
	margin-left: 0.1em;
	padding-top: 0.1em;
	padding-bottom: 0.1em;
	width: 100%;
	}

#side_toc dl dd {   /* workaround for IE bug  */
  /* for Firefox, Gecko, Camino, Konqueror, Linux */
	padding-right: 0.9em;
	padding-left: 0em;
	voice-family: "\"}\"";
	voice-family:inherit;
  /* for IE */
	padding-right: 0.1em;
	padding-left: 0em;
	}

html>body #side_toc dl dd {
  /* be nice to Opera rule */
	padding-right: 0.9em;
	padding-left: 0em;
	}

#side_toc dl dd a {  /* background for button top link */
	line-height: 1.3em;
	display: block;
	color: #57b;
	background-color: #fff;
	font-weight: 500;
	text-decoration: none;
	text-align: left;
	text-indent: 3%;
	margin-top: 0em;
	margin-right: 0em;
	margin-bottom: 0em;
	margin-left: 0em;
	padding-top: 0.1em;
	padding-bottom: 0.1em;
	z-index: 4;
	width: 100%;
	height: auto;
	}

#side_toc dl dd a {   /* workaround for IE bug  */
  /* for Firefox, Gecko, Camino, Konqueror, Linux */
	padding-right: 1em;
	padding-left: 0em;
	voice-family: "\"}\"";
	voice-family:inherit;
  /* for IE */
	padding-right: 1.1em;
	padding-left: 0em;
	}

html>body #side_toc dl dd a {
  /* be nice to Opera rule */
	padding-right: 1em;
	padding-left: 0em;
	}

#side_toc dl dd a:link {
	display: block;
	color: #03c;
	background-color: transparent;
	text-decoration: none;
	text-align: left;
	z-index: 4;
	}

#side_toc dl dd a:visited {
	display: block;
	color: #0c3;
	background-color: transparent;
	text-decoration: none;
	text-align: left;
	z-index: 4;
	}

#side_toc dl dd a:visited:hover {
	display: block;
	color: #060;
	background-color: #ffa;
	text-decoration: none;
	text-align: left;
	z-index: 4;
	}

#side_toc dl dd a:hover {
	display: block;
	color: #03f;
	background-color: #ffa;
	text-decoration: none;
	text-align: left;
	z-index: 4;
	}

#side_toc dl dd#active a {
	display: block;
	font-weight: 600;
	color: #ff3;
	background-color: #029;
	padding-bottom: 0.2em;
	text-decoration: none;
	text-align: left;
	z-index: 4;
	}

#side_toc dl dd#active a:hover {
	display: block;
	color: #fff;
	background-color: #04a;
	text-decoration: none;
	text-align: left;
	z-index: 4;
	}

#leftnav #buttons #side_toc p a:visited:hover {
	color: #03c;
	background-color: transparent;
	font-weight: inherit;
	cursor: pointer;
	text-decoration: none;
	}

#leftnav #buttons #side_toc p a:hover {
	color: #03c;
	background-color: transparent;
	font-weight: inherit;
	cursor: pointer;
	text-decoration: none;
	}


