.manual h1
{
  font-family: sans-serif;
  text-align: center;
  font-size: xx-large;
}

.manual h2
{
  font-family: sans-serif; 
  text-align: center;
  font-size: x-large; 
}

.manual h3
{
  font-family: sans-serif; 
  color: #0000d0;
  text-align: center;
  margin-bottom: 0;
  padding-bottom: 0;
  font-size: large;
  margin-top: 1rem;
}

.manual h4
{
  font-family: sans-serif; 
  color: #0000d0;
  margin-top: 20px;
  margin-bottom: 0;
  padding-bottom: 0;
  font-size: large; 
  margin-top: 1rem;
}

.manual #manual h5
{
  font-family: sans-serif; 
  font-style: normal;
  color: #0000d0;
  margin-top: 20px;
  margin-bottom: 0;
  padding-bottom: 0;
  font-size: large; 
}

.manual caption
{
  font-family: sans-serif; 
  font-weight: bold;
  margin-top: 1rem;
  margin-bottom: 0;
}

.manual sup
{
  font-size: 80%;
  line-height: 0;
}

.manual .release_head
{
  font-family: sans-serif; 
  font-size: 12pt; 
  color: #0000d0;
}

.manual .troublehead
{
  font-family: sans-serif; 
  font-size: medium;
  font-style: italic;
  font-weight: bold;
  margin-top: 0;
  margin-bottom: 0;
  color: black;
}

.manual span.regname
{
  font-family: monospace;
  font-weight: bold;
}

.manual .guimenu
{
	font-weight: bold;
}

.manual .guimenuitem
{
	font-weight: bold;
}

.manual .guilabel
{
	font-weight: bold;
}

.manual .guibutton
{
	font-weight: bold;
}

.manual pre.programlisting
{
    background: #E8E8E8;
    overflow: auto;
}

.manual table
{
    margin-top: 0;
    margin-bottom: 10px;
    border-spacing: 0;
}

.manual h1.title
{
  font-size: xx-large;
}

.manual h2.title
{
  font-size: x-large; 
}

.manual h3.title
{
  font-size: large;
  margin-top: 1em;
}

.manual h4.title
{
  font-size: large; 
  margin-top: 1em;
}

.manual .notweb
{
  display: none;
}

.manual p.colorem
{
     background: #ddffdd;
	 margin-left: 18px;
	 margin-right: 18px;
}

.manual blockquote.colorem
{
     background: #ddffdd;

	 margin-left: 25px;
	 margin-right: 25px;

}

.manual .paranospace
{
	margin-top: 0;
	margin-bottom: 0;
}