/****** CSS stylesheet for userguide.php *****/

div.ug_header
{
  text-align: center;
}

div.panel
{
  line-height: 1.4em;
  margin: 20px auto;
}

h3 { margin-top: 20px;}

div.panel a:link, 
div.panel a:visited, 
div.panel a:hover
{
  font-weight: bold;
}