body { 
    font-family: verdana, tahoma, sans-serif;
    font-size: 0.9em;
}

h1 { color: navy; }

.parameter { color: darkgreen; }

code.command { font-weight: bolder; }

div.screenshot { font-style: italic; font-size: 80%; text-align: center; }

div.warning { color: firebrick; background: rgb(250, 231, 231); 
          border-radius: 5px; border-style: solid; 
          padding: 1em 2em 1em 2em; 
          margin-top: 1em;
          margin-bottom: 1em; }
div.warning .title { margin-top: 0px; }

div.note { color: #0099cc; background: azure; 
          border-radius: 5px; border-style: solid; 
          padding: 1em 2em 1em 2em; 
          margin-top: 1em;
          margin-bottom: 1em; }
div.note .title { margin-top: 0px; }

div.tip { color: darkgreen; background: #ccffcc; 
          border-radius: 5px; border-style: solid; 
          padding: 1em 2em 1em 2em; 
          margin-top: 1em;
          margin-bottom: 1em; }
div.tip .title { margin-top: 0px; }

.guibutton { 
	-moz-box-shadow:inset 0px 1px 0px 0px #ffffff;
	-webkit-box-shadow:inset 0px 1px 0px 0px #ffffff;
	box-shadow:inset 0px 1px 0px 0px #ffffff;
	background-color:#ededed;
	-moz-border-radius:6px;
	-webkit-border-radius:6px;
	border-radius:6px;
	border:1px solid #dcdcdc;
	display:inline-block;
	color:#242224;
	font-family:arial;
	font-size:15px;
	font-weight:bold;
	padding:6px 8px;
	text-decoration:none;
	text-shadow:1px 1px 0px #ffffff; }

.guilabel { font-weight: bold; }

img { border: 1px solid black; }

.errortext { color: red; font-weight: bold; }

SPAN.term { font-weight: bold; }

DIV.navfooter TABLE {font-size: smaller;}
DIV.navheader TABLE {font-size: smaller;}

/* TOC */
.toc DT { margin-top: 0}
.toc DL { margin-top: 0; margin-bottom: 0.2em;}
.toc A {text-decoration: none; color: darkblue;}