body {
  background: url(/Images/990115-St-Tropez-small-bg.jpg)
	no-repeat fixed 100% 100% #fff;
  color: #000;
  font: medium/1.3 Adobe Garamond Pro, Garamond, Palatino, serif;
  margin: 1em 7% 200px;
  max-width: 45em;
  line-height: 1.4}

h1 {
  font: bold 200% "blippo", "arnoldboecklin", "brushstroke",
 "roostheavy", "parkavenue", "rudelsberg", "slogan", fantasy;
  padding-top: 3em;
  color: #888;
  border-bottom: thick solid #888}

h1:first-letter, h2:first-letter {
  border: thin solid red;
  padding: 0.1em;
  color: red}

h3 {
  display: run-in}

h3:after {
  content: "\2003"}

dt {
  margin-top: 0.5em;
  padding-bottom: 0.2em;
  border-bottom: thin solid;
  margin-bottom: 0.2em}

address {
  text-align: right;
  clear: both;
  margin-top: 1em;
  border-top: thin dotted;
  padding-top: 1em}

a:link {
  text-decoration: none;
  color: #00C}

a:visited {
  text-decoration: none;
  color: #609}

a img {
  border: none}

ul.menu {
  column-width: 10em;
  column-gap: 1em}

ul.compact {
  margin-left: 0;
  padding-left: 0;
  list-style: none}

ul.compact > li {
  margin-left: 0;
  display: inline}

ul.compact > li:before {
  content: "\25BA\A0"}

tr {
  vertical-align: baseline}

table {
  margin: 1.2em 0;
  border-collapse: collapse;
  border-spacing: 0}

th, td {
  text-align: left;
  padding: 0 0.5em}

th:first-child, td:first-child {
  padding-left: 0}

th:last-child, td:last-child {
  padding-right: 0}

caption {
  color: #666;
  text-align: left}
caption:before {
  font-style: normal;
  content: "\273B  " /*"\273D  "*/}

span.date {
  color: #888;
  font-size: 80%}

p {
  margin-top: 1.2em;
  margin-bottom: 0}

p + p,
p + div.sidefigure + p,
p + div.leftsidefigure + p {
  margin-top: 0;
  text-indent: 1em}

p.medbreak {
  margin-top: 1.2em;
  text-indent: 0}

ul {
  margin-left: 0;
  padding: 0}

ul > li {
  margin-left: 1em;
  padding-left: 0}

pre {
  margin: 1.2em 0 1.2em 1em;
  text-align: left;
  overflow: auto}

dl {
  margin-top: 2.8em;
  margin-bottom: 2.8em}

sup {
  line-height: 0.5}

div.sidebar {
  font-size: small;
  color: #777;
  background: white;
  background: rgba(255,255,255,0.5);
  float: right;
  clear: right;
  width: 25%;
  padding: 0.7em;
  border-left: thin dotted;
  margin: 0.3em 0 0.3em 1em}

div.sidebar > p:first-child {
  margin-top: 0}

img.illustration {
  float: right;
  max-width: 50%;
  margin: 0 0 0.5em 1em}

div.figure,
div.sidefigure,
div.leftsidefigure {
  text-align: center;
  font-style: italic}

div.figure p,
div.sidefigure p,
div.leftsidefigure p {
  margin: 0;
  text-indent: 0}

div.figure img,
div.sidefigure img,
div.leftsidefigure img {
  max-width: 100%}

div.figure {
  margin: 1.2em 1em;
  clear: both}

div.sidefigure,
div.leftsidefigure {
  width: 25%;
  margin: 0.6em 1.2em;
  box-shadow: 0 0.3em 0.9em #333;
  -webkit-box-shadow: 0 0.3em 0.9em #333;
  background: #CCC;
  padding: 0.5em;
  border-radius: 0.5em;
  -webkit-border-radius: 0.5em;
  moz-border-radius: 0.5em}

div.sidefigure {
  float: right;
  clear: right;
  margin-right: 0}

div.leftsidefigure {
  float: left;
  clear: left;
  margin-left: 0}

/* Articles may have a table of contents inside div.map
and a site navigation bar inside div.banner. Both will
be shown as sliding menus on the left edge. */

div.banner {top: 7em}
div.map {top: 16em}
div.banner, div.map {
  position: fixed;
  left: 0;
  background: rgb(208,208,208);
  background: rgba(192,192,192,0.85);
  color: black;
  border: solid #666 thin;
  border-left: none;
  box-shadow: 0 0.3em 0.9em #333;
  -webkit-box-shadow: 0 0.3em 0.9em #333;
  border-radius: 0 0.9em 0.9em 0;
  -webkit-border-top-right-radius: 0.8em;
  -webkit-border-bottom-right-radius: 0.8em;
  -moz-border-radius: 0 0.8em 0.8em 0}
div.banner ul, div.map ul {
  display: none;
  margin: 0 0 0 1.4em;
  padding: 0.5em;
  list-style: none}
div.banner li, div.map li {
  margin: 0;
  padding: 0.2em;
  border-top: thin dotted}
div.banner li:first-child, div.map li:first-child {
  border-top: none}
div.banner a, div.map a {
  display: block;
  color: inherit}
div.banner a:hover, div.map a:hover {
  background: #C00;
  color: #FFF}
div.banner:before { /* 'writing-mode: tb-rl' not yet supported... */
  content: "\25B6\A S\A I\A T\A E"}
div.map:before {
  content: "\25B6\A C\A O\A N\A T\A E\A N\A T\A S"}
div.map:lang(nl):before {
  content: "\25B6\A I\A N\A H\A O\A U\A D"}
div.map:before, div.banner:before {
  width: 1.4em;
  line-height: 0.9;
  text-align: center;
  padding: 0.4em 0em;
  display: block;
  white-space: pre}
div.banner:after, div.map:after {
  content: ""}
div.banner:hover, div.map:hover {
  width: 10em;
  z-index: 1}
div.banner:hover ul, div.map:hover ul {
  display: block}
div.banner:hover:before, div.map:hover:before {
  float: left}

@media print {
  div.banner, div.map {display: none}
}

/* Forms */
input {
  background: none;
  border: none;
  border-bottom: thin dashed;
  max-width: 100%} /* In fact: calc(100% - 15.5em) */
input[type=submit], input[type=reset] {
  border: none;
  font-weight: bold;
  color: red}
input[type=image] {
  border: none;
  padding: 0;
  max-width: none}
form {
  /* padding: 1em; */
  margin: 1.2em 0;
  line-height: 1.6;
  text-align: left}
form ul {
  padding: 0;
  margin: 0;
  list-style: none}
form li {
  clear: left;
  margin: 0 0 0 15.5em;
  text-indent: 0}
label:first-child, legend {
  font-style: italic;
  float: left;
  width: 15em;
  margin: 0;
  padding: 0;
  text-align: right;
  margin-left: -15.5em}
.submitline {
  text-align: right}
input[disabled] {
  color: #999}

.error {
  color: red}