/* Generic HTML element styles */
a {
    color: #336B5A;
    text-decoration: none;
  }

a:hover {
    color: #ff7a52;
  }

h1 {
    color: #31695A;
    font-size: 18pt;
    font-weight: bold;
    text-align:center;
  }

h2 {
    color: #31695A;
    font-size: 14pt;
    font-weight: bold;
    text-align:center;
  }

h3 {
    margin-bottom:0.7em;
    color: #31695A;
    font-size: 12pt;
    font-weight: bold;
  }

h4 {
    margin-bottom:0.5em;
    color: #31695a;
    font-size: 10pt;
    font-weight: bold;
  }

h5 {
    color: #31695a;
    font-size: 10pt;
    margin-bottom:0.2em;
    font-weight: normal;
  }

body {
    padding:0;
    margin:0px;
    background-color: #ffffff;
    min-width:610px;
  }

div,p {
    margin-top:0;
  }

/* Classes for certain page areas. */

/* The header wraps the top parts of the page containing the 'top' and the service area. */
#header {
    margin:0px;
    padding:0px;
  }

/* Top row of the page containing the logos. */
#top {
    overflow:visible;
    text-align: right;
    background-color: #336b5a;
    padding: 0px;
    padding-left:3px;
    height:60px;
  }

/* The service area is the bar containing the menu and several optional buttons (languages)
 * between header and main content area.
 */
#service {
    text-align: right;
    vertical-align:middle;
    background-color:#eeffee;
    padding: 3px;
  }

#service img {
    border: none;
  }

#service li {
    float:left;
    margin-right:3px;
    list-style-type:none;
  }

#service ul {
    padding: 0px;
    margin: 0px;
    list-style-type:none;
  }

#service ul a {
    padding: 2px;
    padding-left: 10px;
    padding-right: 10px;
    color: #000000;
    font-family: Arial, FreeSans, sans-serif;
    font-size: 10pt;
    font-weight: normal;
    text-decoration: none;
    background-color: #cdcecd;
    border: 1px solid black;
    display:block;
  }

#service ul a.activebutton {
    padding: 2px;
    padding-left: 10px;
    padding-right: 10px;
    color: #ffffff;
    font-family: Arial, FreeSans, sans-serif;
    font-size: 10pt;
    font-weight: normal;
    text-decoration: none;
    background-color: #31695A;
    border: 1px solid black;
  }

#service ul a:hover {
    color: #000000;
    background-color: #ffffff;
  }


/* Style of the main layout table (2-column design), does not include
 * header, service or footer.
 */
#main {
    height:100%;
    min-height:100%;
    border-top:1px solid #000000;
    clear:both;
    background-color:#ffffff;
    width:100%;
  }

/* The content is the main column of the page layout. */
#content {
    overflow:visible;
    padding: 10px;
    color: #111111;
    font-family: Arial, FreeSans, sans-serif;
    font-size: 10pt;
    vertical-align:top;
  }

/* Style for the last modified message at the bottom of every page. */
#last_modified_msg {
    color: #999;
    padding-top: 40px;
  }

/* Supporting sidebar style. */
#support {
    border-left:1px solid #000000;
    width:180px;
    overflow:visible;
    font-family: Arial, FreeSans, sans-serif;
    font-size: 10pt;
    font-weight: normal;
    padding: 10px;
    color: #ffffff;
    background-color:#52756a;
    vertical-align: top;
/*  background-image:url(../commonpics/background.gif);*/
/*    background-repeat:repeat;*/
  }

#support h1 {
    font-size: 12pt;
    font-weight: bold;
    color: #ffffff;
    text-align:left;
  }

#support a {
    color: #ffffff;
    text-decoration: none;
}

#support a:hover {
    color: #ff7a52;
}
      
#support img {
    vertical-align: middle;
    margin: 0px;
    padding: 0px;
    border: none;
  }

#support ul {
    margin:0px;
    padding-left:20px;
    list-style-image:url(../commonpics/bullet.png);
    list-style-position:outside;
  }

/* The footer is the small row at the very bottom of the page. */
#footer {
    width:100%;
    clear:both;
    position:relative;
    text-align: center;
    color: #eeeeee;
    background-color: #336b5a;
    font-family: Arial, FreeSans, sans-serif;
    font-size: 8pt;
  }

#footer a {
    color: #eeeeee;
    text-decoration: none;
  }

#footer a:active {
    color: #eeeeee;
    text-decoration: none;
  }

#footer a:hover {
    color: #AD5700;
  }

#footer img {
    border:0px;
  }

/* Special purpose classes */
.code
{
  white-space: pre;
  font-size: 10pt;
  font-family: monospace;
  border: 1px dotted gray;
  background-color: #ddd;
  padding: 10px;
  margin: 10px;
  padding-top:0px;
}

.bibentry {
    text-indent: -3em;
    margin-left:3em;
    border:0px;
  }

.exam_result_fail {
    background-color:#FF6F6F;
  }

.exam_result_pass {
    background-color:#91FF75;
  }

.biblist {
    list-style-type : none;
    list-style-position:outside;
    text-indent: -3em;
    margin-left:3em;
    padding-left:0px;
    border:0px;
  }

.biblist li {
    margin-bottom:1em;
}

.largelist li
{
    padding:1em;
}