/* Petteri's CSS */
/* HTML elements */
body
{
  font-family : verdana, arial, helvetica, helve, sans-serif;
//  background-image : url( "lib/png/bg2.png" );
  background-color : whitesmoke;
  padding : 0px;
  margin : 4px;
}
a
{
  text-decoration : none;
  color : blue;
}
a:visited
{
  color : #008;
}
h1, h2, h3, h4
{

  color : #444;
}
h1
{
  font-family : georgia, 'times new roman', times, serif;
  font-weight : normal;
}
h2, h3, h4
{
  font-family : georgia, 'times new roman', times, serif;
  font-weight : normal;
}

h3, h4
{
  border-bottom : none;
}
p, li, dt, dd, .ps-flow table
{
  font-family : arial, verdana, helvetica, helve, sans-serif;
  font-size : 75%;
  line-height : 150%;
}
li ol li, li ul li
{
  font-size : 100%;
}
hr
{
  color : gray;
  width : 280px;
  height : 1px;
}
img
{
}
form
{
  margin : 0px;
  padding : 0px;
}
blockquote, blockquote p
{
  font-style : italic;
  font-size : 70%;  
}
/* classes */
.ps-grid
{
  width : 850px;
  border-right : 1px solid black;
  border-bottom : 1px solid black;
  margin : 0px;
}
.ps-image
{
  text-align : center;
}
.ps-dir 
{ 
}
.ps-toc-top, .ps-toc-bottom 
{
  width : 25%;
  background-color : whitesmoke;
  font-family : verdana, arial, helvetica, helve, sans-serif;
  text-align : right;
  border-left : 1px solid silver;
  font-size : 12px;
}
.ps-toc-bottom 
{
  text-align : center;
  padding-bottom : 10px;
}
.ps-flow 
{
  padding : 10px;
  border-left : 1px solid silver;
  background-color : white;
}
.ps-flow a
{
  text-decoration : underline;
}
.ps-flow table
{
	background-color : silver;
}
.ps-flow td
{
  background-color : white;
}
.ps-critical 
{
	color : #c22;
}
.ps-subtitle
{
  font-size : 11px;
  font-weight : bold;
}
.ps-link1,.ps-link2,.ps-link3
{
  border-right : 4px solid silver;
  padding : 2px;
}
.ps-current1,.ps-current2,.ps-current3
{
  border-right : 4px solid red;
  background-color : silver;
  padding : 2px;
}
.ps-link1, .ps-current1, .ps-link2, .ps-current2
{
  padding-top : 3px;
}
.ps-link2, .ps-current2
{
}
.ps-localTOC
{
  margin : 0px;
  background-color : #ddd;
}
.ps-other-local, .ps-current-local
{
 padding-bottom : 2px;
 padding-top : 2px;
 list-style : none;
 padding-right : 2px;
 font-size : 11px;
 font-weight : bold;
}
.ps-other-local
{
 border-right : 4px solid salmon;
}
.ps-current-local
{
  background-color : silver;
  border-right : 4px solid red;
}
.ps-footer
{
  border-left : 1px solid silver;
  font-family : verdana, arial, helvetica, helve, sans-serif;
  font-size : 66%;
  padding : 6px;
  text-align : left;
  background-color : white;
  color : #333;
}
.ps-banner
{
  background-color : #777;
  background-image : url( "../lib/gif/bannerbg.gif" );
  background-position : 100px 0px;
  background-repeat : no-repeat;
	border-left : 1px solid silver;
}
.ps-btext
{
  color : white;
  font-size : 20px;
  text-align : center;
  font-family : courier;
  font-weight : bold;
  padding : 10px;
}
.ps-xlink
{
  width : 100px;
  font-size : 12px;
  text-align : center;
  background-color : silver;
  border-right : 1px solid gray;
  border-left : 1px solid whitesmoke;
}
.ps-xlink a
{
  color : white;
}
.ps-xlink a:visited
{
  color : white;
}
.ps-xlink a:hover
{
  color : red;
}
.ps-mainlinks
{
  border-left : 1px solid silver;
  border-bottom : 8px solid #888;
}
.ps-mainlink, .ps-mainlink-active
{
  padding : 4px;
  text-align : center;
  font-size : 12px;
  width : 100px;
}
.ps-mainlink
{
  background-color : #444;
  border-right : 2px solid #333;
  border-bottom : 2px solid #333;
  border-top : 1px solid #777;
}
.ps-mainlink-active
{
  background-color : #888;
  border-right : 2px solid #333;
  border-top : 2px solid #333;
  color : black;
}
.ps-mainlink-active a, .ps-mainlink a
{
  color : white;
}
.ps-mainlink-active a:visited, .ps-mainlink a:visited
{
  color : silver;
}
.ps-mainlink-active a:hover, .ps-mainlink a:hover
{
  color : red;
}
.ps-search
{
  background-color : silver;
  border-top : 1px solid black;
  border-left : 1px solid gray;
  padding : 0px;
  text-align : center;
}
.ps-logo
{
  border : none;
  margin : 0px;
  padding : 0px;
}
.ps-square
{

}
.ps-tocdivider
{
   text-align : center;
   border-right : 4px solid silver;
}
.ps-mirrorlink
{
  background-color : gray;
  color : white;
  font-size : 11px;
  text-align : center;
  border-top : 1px solid black;
  border-left : 1px solid black;
}
a.ps-makepdf
{
  background-color : white;
	border : 1px solid darkblue;
  color : darkblue;
  text-decoration : none;
  margin-right : 5px;
  padding : 3px;
  font-size : 11px;
  width : 70px;
  text-align : center;
  float : right;
}
a:hover
{
  text-decoration : underline;
  color : red;
}
a:active.ps-makepdf
{
  color : red;
  border : 1px solid red;
}
a:hover.ps-makepdf
{
  color : red;
  border : 1px solid red;
  text-decoration : none;
}
/**
 * For search.
 **/
.search-hit
{
  margin-top : 10px;
}
.search-title
{
  font-weight : bold;
}
.search-text
{
  font-size : 66%;
}
.search-relevance
{
  color : gray;
  font-size : 66%;
}
.search-field
{
  padding : 2px;
  font-size : 11px;
  color : white;
  text-align : right;
}
.search-input
{
  border : 1px solid black;
}
.page-links
{
  text-align : center;
  font-size : 70%;
}
.page-current
{
  color : silver;
}