/* ------------------------------------------------------- */
/* RISC-Linz - Research Institute for Symbolic Computation */
/* Groebner Basis Implementations                          */
/* Version 21.02.2006                                      */
/* ------------------------------------------------------- */

body
{
  margin: 0px; padding: 0px;
  /*background-color: #4b72b0;*/ background-color: #e4eeff;
  background-image: none;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 1.0em;
  color: #000;
}

/* -------------------------------------- */
div#header 
{
  position: relative; top: 0px; left: 0px;
  width: 800px;  
  margin-left: auto; margin-right: auto;
  padding: 10px; 
  border-left: 1px solid #cbcccc;
  border-right: 1px solid #cbcccc;
  background-color: #fff;
  vertical-align: top;
  text-align: left;
}
div#header h1
{
  margin: 5px; padding: 0px 0px 0px 5px;
  text-decoration: none;
  font-size: 1.0em;
  font-weight: bold;
  font-style : normal;
  color: #275298;
}

/* -------------------------------------- */
div#section
{ 
  position: absolute; top: 0px; right: 0px;
  width: auto;    
  margin: 0px; padding: 1px 5px 1px 10px;
  background-color: #ebebec;
  background-image: none;
  font-size: 0.8em;
  color: #ff0000;
}

/*-------------------------------------*/
div#nav
{
  width: 800px;  
  margin-left: auto; margin-right: auto;
  padding: 0px 10px 2px 10px;
  border-left: 1px solid #cbcccc;
  border-right: 1px solid #cbcccc;
  background-color: #275298;
  vertical-align: top;
  text-align: center;
  font-size: 0.8em;
  white-space: nowrap;
}
div#nav ul
{
  margin: 0px; padding: 0px;
  list-style: none;  
}
div#nav ul li
{
  margin: 0px 0px 0px -5px; padding: 2px 10px 2px 10px;  
  display: inline;
  background-color: #275298;  
  border-left: 1px solid #fff;
}
div#nav ul li a
{
  font-size: 0.9em;
  font-weight: bold;
  text-decoration: none;
  color: #fff;
}
div#nav ul li:hover
{  
  background-color: #e4eeff;
}
div#nav ul li a:hover
{
  background-color: #e4eeff;
  font-weight: bold;
  text-decoration: none;
  color: #275298; 
}

/* -------------------------------------- */
div#content 
{
  /*position: relative; top: 0px; left: 0px;*/
  width: 800px;  
  margin-left: auto; margin-right: auto;
  padding: 20px 10px 10px 10px;
  border-left: 1px solid #cbcccc;
  border-right: 1px solid #cbcccc;
  border-bottom: 1px solid #cbcccc;
  background-color: #fff;
  vertical-align: top;
  font-size: 0.8em;
  color: #000;
}
div#content a
{
  text-decoration: underline;
  color: #275298;
}
div#content a:hover
{
  text-decoration: underline;
  color: #cbcccc;
}
div#content a.anker 
{
  text-decoration: none;
  color: #275298;
}
div#content b
{
  text-decoration: none;
  font-weight: bold;
}
div#content h1
{
  margin: 5px 0px 5px 0px; padding: 0px;
  background-color: #e4eeff;
  text-align: center;
  text-decoration: none;
  font-size: 1.2em;
  font-weight: bold;
  font-style : normal;
  color: #ff0000;
}
div#content h2
{
  margin: 5px 0px 5px 0px; padding: 0px;
  background-color: #e4eeff;
  text-decoration: none;
  font-size: 1.0em;
  font-weight: bold;
  font-style : normal;
  color: #275298;
}
div#content hr
{ 
  width: 97%; 
  color: #bcbec0;
}
div#content img
{ 
  position: relative;
  margin: 0px; padding: 0px 10px 0px 10px; 
  border: 0px;
  vertical-align: middle;
}
div#content p
{
  margin: 5px 0px 5px 0px; padding: 5px;
}
div#content ul
{
  /*list-style-type: circle;*/
  list-style-image: url(../images/bullet.gif); 
}

/* -------------------------------------- */
div#content table
{
  margin: 5px 0px 5px 0px; padding: 0px;
  border: 1px solid #bcbec0;
  font-size: 1.0em;
}
div#content table th
{
  margin: 0px;
  padding: 2px 5px 2px 5px;
  background-color: #e4eeff;
  border: 0px;
  text-align: left;
  font-size: 0.9em;
  font-weight: bold; 
  color: #275298;
}
div#content table td
{
  margin: 0px; padding: 5px;
  background-color: #f8f8f9;
  border: 0px;
  vertical-align: top;
}

/* -------------------------------------- */
div#content .title
{ 
  padding: 2px 5px 2px 5px;
  background-color: #e4eeff;
  border: 0px;
  text-align: left;
  font-size: 0.9em;
  font-weight: bold; 
  color: #275298;
}
div#content .box
{
  width: 50%;
  margin: 5px 0px 5px 0px; padding: 2px;
  background-color: #f8f8f9;
  border: 1px solid #bcbec0;
  font-size: 1.0em;
}
div#content .box p
{
  margin: 0px; padding: 5px;
  border: 0px;
  vertical-align: top;
}

/* -------------------------------------- */
div#content .mark
{ 
  background-color: #e6e7e8;
}

/* -------------------------------------- */
div#path
{ 
  padding: 2px 5px 2px 5px;
  text-align: right;
  font-size: 0.9em;
  font-weight: normal;
  color: #595959;
}
div#path a
{
  text-decoration: underline;
  color: #275298;
}
div#path a:hover
{
  text-decoration: underline;
  color: #cbcccc;
}
/* -------------------------------------- */
div#content .top
{ 
  width: auto;   
  margin: 5px 0px 5px 0px; padding: 0px;
  background-image: url(../images/top.gif);
  background-position: 0px 1px;
  background-repeat: no-repeat;
  font-size: 0.9em;
  font-weight: normal;
  color: #275298;
}
div#content a.top 
{ 
  text-decoration: underline;
  color: #275298;
}
div#content a:hover.top 
{ 
  text-decoration: underline;
  color: #cbcccc;
}

/* -------------------------------------- */
div#footer 
{
  width: 800px;  
  margin-left: auto; margin-right: auto;
  padding: 5px 0px 15px 0px;
  vertical-align: top;
  text-align: left;
  font-size: 0.7em;
  color: #6d6e71;
}
div#footer a
{
  text-decoration: none;
  color: #275298;
}
div#footer a:hover
{
  text-decoration: underline;
  color: #275298;
}

/* -------------------------------------- */