/* Main layout: dark gray text, light gray background & 10 pt sans serif font */
body
{
  color: #333333;
  background-color: #eeeeee;
  text-decoration: none;
  font-family: Helvetica, Arial, Geneva, Swiss, SunSans-Regular, sans-serif;
  font-size: 10pt;
  margin: 0px;
  padding: 0px;
}

/* Links: underlined, dark gray, darker when selected */
a
{
  font-weight: bold;
  text-decoration: none;
}
a:link
{
  color: #666666;
}
a:visited
{
  color: #333333;
}
a:hover
{
  color: #000000;
  text-decoration: underline;
}
a:active
{
  color: #333333;
}
p a
{
  background-color: #dddddd;
}

/* Images: no border (for links) & middle aligned */
img
{
  border-style: none;
  border-width: 0px;
  vertical-align: middle;
}

/* Header (1): 16 pt bold white over dark gray background */
/* No margin, minor padding */
h1
{
  background-color:#666666;
  color: #ffffff;
  font-size: 16pt;
  text-align: left;
  vertical-align: middle;
  margin: 0px;
  padding: 4px;
}

/* Paragraph: standard margin */
p
{
  margin: 8px 0px;
  padding: 0px;
}

/* IE6 bug: the margin on the div are corrupting the window width */
.licencebody
{
  margin: 8px 24px;
}

/* Licence & help page main layout */
.licence
{
  position: absolute;
  top: 0px;
  left: 0px;
  right: 0px;
  margin: 8px 24px;
  padding: 0px;
}

/* Text alignment classes */
.right
{
  text-align: right;
}

/* Vertical alignment classes */ 
.imgalign
{
  vertical-align: -4px;
}

/* Font variants: standard, bold, small, small + bold */
.txtsml
{
  text-decoration: none;
  font-size: 8pt;
  font-weight: normal;
}

/* Fixed-height title row */
.title
{
  position: absolute;
  height: 48px;
  left: 0px;
  width: 100%;
  margin: 0px;
  padding: 0px;
  font-size: 36pt;
  font-weight: bold;
}

/* Fixed-size, left-bottom aligned box (language) */
.lefttitle
{
  position: absolute;
  bottom: 0px;
  left: 5px;
  width: auto;
  text-align: left;
  vertical-align: bottom;
  margin: 0px;
  padding: 0px;
}

/* Fixed-size, right-bottom aligned box (help) */
.righttitle
{
  position: absolute;
  bottom: 0px;
  left: auto;
  right: 5px;
  width: auto;
  text-align: right;
  vertical-align: bottom;
  margin: 0px;
  padding: 0px;
}

/* Fixed-position content row */
.content
{
  position: absolute;
  top: 56px;
  left: 0px;
  width: 100%;
  margin: 0px;
  padding: 0px;
}

/* Content box, white background, gray border */
.mainborder
{
  background-color: #ffffff;
  border-style: solid;
  border-color: #666666;
  border-width: 1px;
  margin: 0px;
  padding: 0px;
}

/* Margins for content inside content box */
.sidemargin
{
  margin: 0px;
  padding: 0px 4px;
}

/* Comment box, gray background, full width */
.comment
{
  background-color:#eeeeee;
  margin: 0px;
  padding: 4px;
  font-size: 8pt;
  text-align: center;
}

/* Button: bold font, some room around */
.button
{
  font-size: 10px;
  font-weight: bold;
  margin: 0px;
  padding: 2px;
}

/* Vertical space */
.vspacer
{
  margin: 4px 0px;
  padding: 0px;
}
