body {
  min-width: 780px;
  background: #fbf8f1 url(../img/body2.png) repeat-x 50% 0;
  margin: 0;
  padding: 0;
  font: 12px Verdana, sans-serif;
  line-height: 150%;
  color: #2d2d2d;
}

div.wrapper {
  position: relative;
}

div.content {
  background: #fff url(../img/bg-content.png) repeat-x 50% 0;
  max-width:  50em;
  margin-left: 210px;
  margin-top:  47px;
  padding-top: 40px;
}

div.content-pin-conf {
  background: #fff url(../img/bg-content.png) repeat-x 50% 0;
  max-width:  80em;
  margin-left: 210px;
  margin-top:  47px;
  padding-top: 40px;
}

div.right-corner {
  background: transparent url(../img/bg-content-right.png) no-repeat 100% 0;
  position: relative;
  left: 10px;
  margin-top: -20px;
  top:        -20px;
}

div.left-corner {
  padding: 60px 25px 5em 35px;
  background: transparent url(../img/bg-content-left.png) no-repeat 0 0;
  margin-left: 0px;
  position: relative;
  left: -20px;
  min-height: 400px;
}

div.topbar {
  width:  100%;
  height: 45px;
}

div.sidebar {
  position: relative; 
  top:     100px;
  left:  0px;
  float: left; 
  width: 210px;
  margin-left: 20px;
}

/* To prevent that the position differs when used inside or outside a paragraph,
 * the margin-left is overruled when used inside paragraph below.
 */
div.side-note, span.side-note {
  position: relative; 
  left:  0px;
  float: left; 
  width: 150px;
  margin-left: -190px;

  color: rgb(142, 134, 98);
  text-decoration: none;
  font-size: 0.92em;
  font: 12px Verdana,sans-serif;
  line-height: 150%;
  font-family: Verdana,sans-serif;
}

/* margin correction when using side-note from inside a <p> */
p div.side-note, p span.side-note {
  margin-left: -194px;
}

/* margin correction when using side-note from inside a <p> inside abstract */
div.abstract p span.side-note {
  margin-left: -225px;
} 

#logo-floater {
  position: absolute;
  top:       0px;
  left:     50px;
}

#breadcrumb {
  position: absolute;
  top:      15px;
  left:     30px;
  color: rgb(142, 134, 98);
  text-decoration: none;
  font-size: 0.92em;
  font: 12px Verdana,sans-serif;
  line-height: 150%;
  font-family: Verdana,sans-serif;
}

#breadcrumb a:link, #breadcrumb a:visited {
  color: rgb(142, 134, 98);
}


div.footer {
  color: rgb(142, 134, 98);
  text-decoration: none;
  font-size: 0.92em;
  font: 12px Verdana,sans-serif;
  line-height: 150%;
  font-family: Verdana,sans-serif;
  margin-top: 40px;
  border-top-width: 1px;
  border-top-color: rgb(142, 134, 98);
  border-top-style: solid;
}


div.date {
  position:  relative; 
  top:       0px;
  right:     0px;
  float:     right; 
  font-size: 0.8em;
}

a:link, a:visited {
  /* color: rgb(142, 134, 98); */
  /* color: rgb(169, 149, 114); */
  color: rgb(112, 98, 74);
  text-decoration: none;
}

a:hover {
  color: #4d3e10;
  text-decoration: underline;
}

a:hover {
  color: #4d3e10;
  text-decoration: underline;
}

img.logo {
  padding-top: 20px;
  padding-right: 20px;
}

span.logo {
  font: 12px Verdana,sans-serif;
  font-family: Helvetica, Arial, sans-serif;
  line-height: 120px;
  white-space: nowrap;
  color: rgb(255, 255, 255);
  text-shadow: 0px 1px 3px rgb(215, 184, 58);
  font-size: 2.1em;
  font-weight: bold;
  position: relative;
  bottom: 20px;
}


p
{ padding-left:  4px;  /* express in pixels rather than em to be able to compensate
		          side-note indentation */
  padding-right: 4px;
  max-width:     50em;
}

/*
table 
{ max-width:     50em; 
}
*/

/* Examples where in a <quotation><strong> envelope in the earlier versions.
 */
.example
{ font-style: 	    italic;
  margin-left:      3em;
  margin-right:     3em;
  max-width:        44em;
}

p.example
{ border:     	    1px solid #a99572;
  background-color: #dcd0bc;
  padding-top:      0.3em;
  padding-bottom:   0.3em;
}

div.example
{ border:     	    1px solid #a99572;
  background-color: #dcd0bc;
  padding-top:      0.3em;
  padding-bottom:   0.3em;
}

div.abstract
{ border:     	    1px solid #a99572;
  background-color: #dcd0bc;
  margin-top:     1.1em;
  margin-bottom:  1.1em;
  margin-left:    1.5em;
  margin-right:   1.5em;
  padding-top:    0.2em;
  padding-left:   1.0em;
  padding-right:  1.0em;
  padding-bottom: 0.2em;
}

div.blockquote
{ border-style:	   hidden;
  font-style: 	   italic;
  margin-left:     3em;
  margin-right:    3em;
  max-width:       44em;
}

table.example
{ margin-bottom:   1em;
  border-style:	   hidden;
  margin-left:     2.8em;
  margin-right:    0em;
  border-spacing:  3px 3px;
  max-width:       45.0em;
  border:     	   1px solid #a99572;
  
}

col.mapping
{ width:	50%;
}

td.example
{ border:     	    1px solid #a99572;
  background-color: #dcd0bc;
  padding:	    5px 1em;
}

div.example > table
{ margin-bottom:   1em;
  border-style:	   hidden;
  margin-left:     0.6em;
  margin-right:    0.6em;
  border-spacing:  0px 0px;
/*  max-width:       45.0em; */
  border:     	   1px solid #a99572;
  background-color: #ffffff;
  border-collapse: collapse;
  empty-cells: show;

}

div.example  td
{ border:     	    1px solid #a99572;
  padding:	    3px 1em;
}

div.example  th
{ border:     	    1px solid #a99572;
  padding:	    5px 1em;
}


p.strong
{ font-weight: 	    bold;
}

li.part
{ font-weight: 	    bold;
  margin-top:       10px;
  margin-bottom:    10px;
  font-variant:     small-caps;
}

h1, h2, h3, h4, h5, h6 {
  margin: 0;
  padding: 0;
  font-weight: normal;
  font-family: Helvetica, Arial, sans-serif;
}

h1 {
  font-size: 170%;
}

h2 {
  font-size: 160%;
  line-height: 130%;
}

h3 {
  font-size: 140%;
}

h4 {
  font-size: 130%;
}

h5 {
  font-size: 120%;
}

h6 {
  font-size: 110%;
}