/*******************
General
*******************/

/* Font size:
** We take advantage of keyword scaling- browsers won't go below 9px
** More at http://www.w3.org/2003/07/30-font-size
** http://style.cleverchimp.com/font_size_intervals/altintervals.html
*/

body {
  font: small sans-serif;
  background: #f9f9f9;
  color: black;
  width: 100%;
  margin: 0;
  padding: 0;
  font-size: 75%;
}

/* general styles */

table {
  font-size: 100%;
  color: black;
}
a {
  text-decoration: none;
  color: #002bb8;
  background: none;
}
a:visited {
  color: #5a3696;
}
a:active {
  color: #faa700;
}
a:hover {
  text-decoration: underline;
}

img {
  border: none;
  vertical-align: middle;
}
p {
  margin: .4em 0 .5em 0;
  line-height: 1.5em;
}
p img {
  margin: 0;
}

hr {
  height: 1px;
  color: #aaa;
  background-color: #aaa;
  border: 0;
  margin: .2em 0 .2em 0;
}

h1, h2, h3, h4, h5, h6 {
  color: black;
  background: none;
  margin: 0;
  padding-bottom: .17em;
}
h1, h2 {
  font-weight: normal;
  margin-top: .5em;
  margin-bottom: .6em;
}
h3, h4, h5, h6 {
  font-weight: normal;
  margin-top: .4em;
  margin-bottom: .3em;
}
h2 { border-bottom: 1px solid #aaa }
h1 { font-size: 188%; }
h2 { font-size: 150%; }
h3 { font-size: 132%; }
h4 { font-size: 116%; }
h5 { font-size: 100%; }
h6 { font-size: 80%;  }

ul {
  line-height: 1.5em;
  list-style-type: square;
  margin: .3em 0 0 1.5em;
  padding: 0;
}
ol {
  line-height: 1.5em;
  margin: .3em 0 0 3.2em;
  padding: 0;
  list-style-image: none;
}
li {
  margin-bottom: .1em;
}
dt {
  font-weight: bold;
  margin-bottom: .1em;
}
dl {
  margin-top: .2em;
  margin-bottom: .5em;
}
dd {
  line-height: 1.5em;
  margin-left: 2em;
  margin-bottom: .1em;
}

fieldset {
  border: 1px solid #2f6fab;
  margin: 1em 0 1em 0;
  padding: 0 1em 1em;
  line-height: 1.5em;
}
legend {
  padding: .5em;
  font-size: 95%;
}
form {
  border: none;
  margin: 0;
}

textarea {
  width: 100%;
  padding: .1em;
}

select {
  vertical-align: top;
}
abbr, acronym {
  border-bottom: 1px dotted black;
  color: black;
  background: none;
  cursor: help;
}
q {
  font-family: Times, "Times New Roman", serif;
  font-style: italic;
}
code {
  background-color: #f9f9f9;
}
pre {
  font-family: monospace;
  padding: 1em !important;
  border: 1px dashed #2f6fab !important;
  color: black !important;
  background-color: #f9f9f9 !important;
  line-height: 1.1em !important;
}

/*******************
Header
*******************/
.header {
  height: 80px;
  background: url('/mcrl2/common/gradient.png') repeat-x;
}
#header-bg {
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
}
#header-fg {
  position: relative;
  width: 800px;
  top: 0;
  left: 0;
  margin: 0;
  padding-left: 14em;
  padding-right: 1em;
}
#header-fg img {
  height: 70px;
  margin-top: 5px;
  border: none;
}

#searchbar {
  position: absolute;
  top: 50px;
  left: 14em;
  width: 800px;
  text-align: right;
}

/*
 * the navigation bar
 */

.navbar {
  height: 25px;
  background-color: black;
  border-top: 1px solid #aaa;
  border-bottom: 1px solid #aaa;
}

#navbar-bg {
  position: absolute;
  top: 80px;
  left: 0;
  width: 100%;
}
#navbar-fg {
  position: relative;
  top: 0;
  left: 0;
  width: 800px;
  padding: 0;
  margin-bottom: 1em;
  padding-left: 14em;
  padding-right: 1em;
}

#navmenu ul {
  list-style: none;
  margin: 0.2em 0 0.2em 0;
  padding: 0;
  width: 800px;
}
#navmenu li {
  display: inline;
  font-weight: bold;
}
#navmenu li a {
  color: white;
  position: relative;
  border: none;
  padding: 0 1em 0 0em;
  text-decoration: none;
}
#navmenu li a:hover {
  text-decoration: none;
  color: yellow;
}
#navmenu h5 {
  display: none;
}

/*
 * Main area
 */

#main {
  position: relative;
  width: 100%;
  padding: 0;
}

/*
 * Portal and portlets
 */

#portal {
  position: absolute;
  top: 0em;
  left: 0;
  padding: 0 1em 0 1em;
}

.portlet {
  font-size: 95%;
  background: #eee;
  border: 1px solid #aaa;
  margin: 0 0 1em 0;
  padding: 0 .4em .4em .4em;
  width: 10.2em;
}

.portlet h5 {
  font-size: 80%;
  margin-top: .4em;
  color: #555;
  font-weight: bold;
}

.portlet ul {
  list-style: none;
  margin: 0;
}

.portlet li a:hover {
  text-decoration: none;
  color: #ba0000;
}

.portlet li.current a {
  font-weight: bold;
  color: #002bb8;
}

.portlet li.current a:hover {
  text-decoration: none;
  color: #ba0000;
}

/* Main contents area */

.contents {
  position: relative;
  padding: 1em;
  background: white;
  color: black;
  border: 1px solid #aaa;
  line-height: 1.5em;
  margin-left: 13em;
  width: 800px;
}

/* Toolbars */

.toolbar {
  position: absolute;
  top: 0;
  right: 0;
  padding: 5px;
}

/*
 * Page information
*/

#pageinfo {
  color: #555;
  padding-left: 0;
  padding-right: 2em;
  margin-bottom: 20px;
  margin-left: 13em;
  width: 800px;
}

#pageinfo span {
  font-size: 85%;
  padding: 0;
  margin: 0;
}

#pageinfo ul {
  font-size: 85%;
  list-style: none;
  padding: 0;
  margin: 0;
}

#pageinfo li {
  display: inline;
  padding: 0;
  margin: 0;
}

/*****
** Table formatting
*****/
table.wikitable,
table.prettytable {
  margin:1em 1em 1em 0;
  background:#F9F9F9;
  border:1px #AAA solid;
  border-collapse:collapse;
}

table.wikitable th, table.wikitable td,
table.prettytable th, table.prettytable td {
  border:1px #AAA solid;
  padding:0.4em;
}

table.wikitable th,
table.prettytable th {
  background:#F2F2F2;
  text-align:center;
}

table.wikitable caption,
table.prettytable caption {
  margin-left:inherit;
  margin-right:inherit;
}