@import "/css/common-ie-invalid.css"; /* this one is not valid ... */

/* general */
html {
  height: 100%;
  padding: 0px;
}

body {
  margin: 0px;
  padding: 0px;
  text-align: center; /* for IE */
  background-color: #dddddd;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 0.8em;
  color: #000000;
}

/* headings */
h1 {
  font-size: 1.4em;
  margin-top: 5px;
  padding-top: 0px;
  margin-bottom: 5px;
}
h1.subtitle {
  font-size: 1.0em;
  margin-top: 0px;
  margin-bottom: 0px;
  font-style: italic;
  position: relative;
  bottom: 5px;
}
h2 { font-size: 1.2em; }
h3 { font-size: 1.0em; }
h4 { font-size: 1.2em; }
h5 { font-size: 1.2em; }
h1, h2, h3, h4, h5 { color: #1b57b1; background-color: inherit; }

/* links */
a { color: #1b57b1; background-color: inherit; }
a:hover { color: #00f; background-color: inherit; }
a.external { /* from wikipedia.org */
   background: url(/images/external.png) center right no-repeat;
   padding-right: 13px;
}
a img { border: 0px; }

/* page logic */
#page {
  text-align: left; /* because of IE (Cf. html) */
  width: 80%;
  min-width: 700px;
  margin: 10px auto 0px auto;
  border: 1px solid #777777;
  padding: 4px 10px;
  background-color: #ffffff;
  color: inherit;
}

#nav { float: right; }

#footer {
  margin-top: 25px;
  font-size: 0.7em;
}

#footer a.external {
  background: none;
  padding-right: 0em;
}

#w3c { margin-right: 1em; }

#credits { }

/* lists */
ul {
  margin: 0em;
  padding: 0em 1.4em;
}

li {
  margin: 0em;
  padding: 0em;
}

/* listing table */
table.listing {
  border-collapse: collapse;
  border: 1px solid #000000;
}

table.listing th {
  font-weight: bold;
  text-align: center;
  padding: 5px;
  font-size: inherit;
  font-family: inherit;
  border: 1px solid #000000;
  background-color: #cccccc;
  color: #000000;
}

table.listing td {
  padding: 5px;
  font-size: inherit;
  font-family: inherit;
  border: 1px solid #000000;
}

/* forms */
label {
  width: 120px;
  display: block;
  float: left;
  text-align: right;
  margin-right: 10px;
}

form br { clear: left; }

input, textarea, select {
  font-size: inherit;
  font-family: Arial, Helvetica, sans-serif; /* for IE */
}

/* text with special semantic */
.HTMLCode, .codeSample {
  padding: 5px;
  border: 1px solid #000000;
  background-color: #cccccc;
  color: #000000;
  /*white-space: pre; /* because of IE not supporting this instruction for XML documents... */
  width: 95%;
  max-height: 300px;
  overflow: auto;
}
pre { margin: 0px; font-size: 1.2em; }

.warning { color: #ff0000; background-color: inherit; }

abbr { border: none; }

.nb { /* nota bene */
  font-style: italic;
  font-size: 0.8em;
}

@media print {
  #nav {display: none; }
  a.external { /* from wikipedia.org */
   background-image: none;
   padding-right: 0px;
  }
}