body
{
  color: #333;
	font-family: calibri,tahoma,arial,sans-serif;
  font-size: 12pt;
	line-height: 125%;
	padding: 10px;
}
a {
    color:#0066cc;
    text-decoration:none;

}

a:hover {
    color:#126;
    text-decoration:underline;
}



a:visited {
    color:#a2427c;
}

div.abstract
{
        padding-left: 10pt;
        padding-right: 10pt;
}
pre.screen
{
    
        white-space: pre;
        background-color: #eee;
        padding: 4px 8px 4px 8px;
}

pre.programlisting
{
        white-space: pre;
        
        background-color: #eee;
        padding: 4px 8px 4px 8px;
}
pre.screen, pre.programlisting, div.legalnotice, p.copyright
{    
    color: #000;
    font-family: menlo, consolas, monaco, "lucida console", 
        "liberation mono", "dejavu sans mono", 
        "bitstream vera sans mono", "courier new", monospace, serif;
    font-size: 11pt;
}

h1 {
 color: #333;
  background-color: #fff;
  font-variant: small-caps;
}

h1.title {
 color: #333;
  background-color: #fff;
  font-variant: small-caps;
}

.title a {
  color: #333; 
  text-decoration: none;
}
div.author {
  font-size: 11pt;
}

p.copyright, div.legalnotice p {
  font-size: 11pt;
}

.title a:active {
  color: #333; 
  text-decoration: none;
}

.title a:hover {
  text-decoration: underline;
}

.title a:visited {
  color: #333; 
  text-decoration: none;
}

h2
{       
  color: #333 ;
  font-style: normal;
  background-color: #fff;
  padding: 1px
}
td {
  padding: 4px;
}
div.important
{
  font-style:normal;
  margin-left: 15%;       
}
div.caution
{
  font-style:normal;
  margin-left: 15%;       
}

div.note {
  font-style:normal;
  margin-left: 15%;       
}

div.tip {
  font-style:normal;
  margin-left: 15%;
}

div.warning {
  font-style:normal;        
  background-color: #ffd;
  padding: 0px 8px 0px 8px;
}

div.variablelist {
  font-family: sans-serif;
  font-style: normal;
  font-weight: normal;
  padding-left: 20px;
}

.varlistentry {
  font-weight: bold;
  margin-top: 10px;
  
  background-color: #fff;
  padding: 1px
}

p {
  font-size: 12pt;
}

/*/*/a{}
body p {
  font-size: 12pt;
  voice-family: "\"}\"";
  voice-family: inherit;      
}

html>body p {
 font-size: 12pt;
}


p.c2 {
  background-color: #fff;        
  padding: 1px
}

div.sect1,div.sect2,div.sect3 {
  margin-left: 20px;
}

div.example, div.toc {
  padding-left: 0px;
  padding-right: 0px;
  color: #333;
  background-color: #fff;
}

div.toc {
  margin-left: 0px;
  margin-right: 0px; 
}

ul {
  list-style: url("images/tux-bullet.png") disc;
}
    
dl,dt,dd { 
  margin-top: 0.25em;margin-left: 12px;margin-bottom: 0.25em;
}

dl { 
  padding: 2px 8px 2px 8px; background-color: #eee;
}

hr {
  height: 0px;
  display:none;
}