/* Style for a "Recommendation" */

/*
   Copyright 1997-2003 W3C (MIT, ERCIM, Keio). All Rights Reserved.
   The following software licensing rules apply:
   http://www.w3.org/Consortium/Legal/copyright-software */

html {
    height: 100%;
    background-image: url(logo-REC.png);
    background-position: top left;
    background-attachment: fixed;
    background-repeat: no-repeat;
}

body {
  height: 100%;
  padding: 2em 1em 2em 52pt;
  margin: 0;
  font-family: arial, sans-serif;
  line-height: 1.17;
  color: black;
}

:link { color: #00C; background: transparent }
:visited { color: #609; background: transparent }
a:active { color: #C00; background: transparent }

a:link img, a:visited img { border-style: none } /* no border on img links */

h1, h2, h3, h4, h5, h6 { text-align: left }
h1, h2, h3 { color: #005A9C;}
h1 { font: 170% arial, sans-serif }
h2 { font: 140% arial, sans-serif }
h3 { font: 120% arial, sans-serif }
h4 { font: bold 100% arial, sans-serif }
h5 { font: italic 100% arial, sans-serif }
h6 { font: small-caps 100% arial, sans-serif }

.hide { display: none }

div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }

p.copyright { font-size: small }
p.copyright small { font-size: small }

a[href]:hover { background: #ffa }

pre { margin-left: 2em }

dt, dd { margin-top: 0; margin-bottom: 0 }
dt { font-weight: bold }
dd + dt { margin-top: 5pt }

ul.toc {
  list-style: none;
}