/*
   Base Style Sheet for the W3C Markup Validation Service.

   Copyright 2000 W3C (MIT, INRIA, Keio). All Rights Reserved.
   See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright

   $Id: base.css,v 1.3 2003/09/01 15:41:39 ot Exp $
*/

@import url(results.css); /* CSS for validation results. */
@import url(navbar.css);  /* CSS for navigation menu. */
@import url(tips.css);    /* CSS for Quality Tips. */

html, body {
  line-height:     120%;
  color:           black;
  background:      white;
  font-weight:     normal;
  font-family:     "Bitstream Vera Sans", sans-serif;
  font-style:      normal;
  text-decoration: none;
  margin:  0;
  padding: 0;
  border:  0;
}

div#main {
  /*padding-left: 2em;*/
  padding-top: 1em;
}

div#main p, div#main dt {
padding-left: 1em;
}

div.navigate {
text-align:center; margin-bottom: 0.5em; 
}

dt {
  margin-top: 1em;
}

dl.tip {
 margin-top: 2em;
}


div.doc h4, div.doc h5, div.doc p, div.doc pre, div.doc ul, div.doc dl, div.doc table {
 margin-left: 2em;
 margin-right: 20%;
}

div.doc div#toc ul, div.doc dd p{
margin-left: 0; margin-right: 0}

fieldset {
  margin-bottom: 3em;
  max-width: 80%;
  margin-left: 1em;
}

.intro {
  font-style: italic;
  text-align: justify;
}

a:hover {
  color: blue;
  background-color: #eee;
}

a:active {
  color: red;
  background-color: yellow;
}

acronym:hover, abbrev:hover {cursor: help}
abbrev[title], acronym[title], span[title], strong[title] {
  border-bottom: thin dotted;
  cursor: help;
}

pre, code, tt {
  font-family: monospace;
  line-height: 100%;
  white-space: pre;
}

a:link img, a:visited img {border-style: none}
a img {color: white} /* The only way to hide the border in NS 4.x */

ul.toc {
  list-style: none;
}

ol li {
  padding: .1em;
}

div.issue {
  padding: 0.5em;
  border: none;
  margin-right: 5%;
}

.hideme {display: none}

#Notice {
  border: solid;
  margin: .2em;
  padding: .5em;
  text-align: justify;
}

/* dt a {color: black} */ /* These are usually targets and not links */
h1 a {color: black} /* These are usually targets and not links */
h2 a {color: black} /* These are usually targets and not links */
h3 a {color: black} /* These are usually targets and not links */

img {vertical-align: middle}
h1#title {
  background-color: #eee;
  border-bottom: 1px solid black;
  padding: .25em;
  margin: 0;
}

/* done vs. tbc for the TODO list */
.done { text-decoration: line-through; }

address img {
  float: right;
  width: 88px;
}

address {
  padding-top:     .5em;
  padding-right:    1em;
  padding-left:     1em;
  padding-bottom:  .5em;
  margin-top:       3em;;
  border-top:       1px solid black;
  background-color: #eee;
  clear:            right;
}

p.copyright {
  margin-top:     5em;
  padding-top:    .5em;
  font-size:      xx-small;
  max-width:      85ex;
  text-align:     justify;
  text-transform: uppercase;
  margin-left:    auto;
  margin-right:   auto;
  font-family:    monospace;
  color:          #888;
  line-height:    120%;
}

p.copyright a {
  color: #88f;
}

.jumpbar {
  text-align:       left;
  text-decoration:  none;
  padding:          1ex;
  background-color: #eee;
  border-top:       1px solid #eee;
  border-right:     1px solid black;
  border-bottom:    1px solid black;
  float:            left;
  margin-top:       -1.3em;
  font-weight:      bolder;
  font-size:        smaller;
}

div.jumpbar ul {
  padding: 0;
  margin:  0;
}

div.jumpbar li {
  list-style-type: none;
}

p.jumpbar a:hover {
  background: #ccc;
}

.nsnote {
  display: none;
}

.stb {clear: left}


div.colophon {
  margin-left: 2em;
  font-style: italic;
}

div.colophon em {
  font-style: normal;
}

/* Various header(ish) things. Definitions cribbed from the CORE Styles. */
h1 {
  font-family: Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
  font-size-adjust: .53;
  font-size: 2em;
  font-weight: bold;
  font-style: normal;
  text-decoration: none;
  color: #053188
}

h2 {
  font-family: Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
  font-size-adjust: .53;
  font-size: 1.5em;
  text-align: center;
  font-weight: bold;
  font-style: normal;
  text-decoration: none;
  margin-top : 2em;
  margin-bottom : 1em;
  line-height: 120%;  
}

h3 {
  font-family: Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
  font-size-adjust: .53;
  font-size: 1.3em;
  background-color: #eee;
  text-indent: 2em;
  padding: .2em;
  border-top: 1px dotted black;
  font-weight: normal;
  font-style: normal;
  text-decoration: none;
}

h4 {
  font-family: Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
  font-size-adjust: .53;
  font-size: 1.1em;
  font-weight: 600;
  font-style: normal;
  text-decoration: underline;
}

h5, dt {
  font-family: Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
  font-size-adjust: .53;
  font-size: 1em;
  font-weight: bold;
  font-style: normal;
  text-decoration: none;
  text-indent: .5em;
  margin:0;
}



h6 {
  font-family: Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
  font-size-adjust: .53;
  color: #666;
  text-indent: 1em;
  font-size: 1em;
  font-style: italic;
  margin:0;
  text-decoration: none;
}

/* comma tools table */

td.comma-desc {
  background: #ffeecc;
  border : 1px solid black;
  font-family: sans-serif
}

td.comma-shortcut {
  background: #e7e7ff; 
  border : 1px solid black;
  font-family: monospace;
}

td.comma-tool {
  background: #e7e7ff;
  border: 1px solid black;
}


/* documentation - table of contents */
#toc {
  font-size: .8em;
}

/* documentation - error explanations */
dl#expl dt code { /* headings for an error */
  white-space: normal;
  font-weight: bold;
}

dl#expl dt {
  border-top: 1px dashed black;
  margin-top: 2em;
  margin-bottom: 1em;
}

dl#expl var { /* headings for an error */
  color: #006;
}

dl#expl dd code.inline { /* a snippet of code used inline */
  white-space: normal;
  font-weight: bold;
  color: #006;
  display: inline;
  padding-left: .2em;
  padding-right: .2em;
  border: 0;
}

dl#expl dd {
  margin-right: 5em;
}

dl#expl dd code.block {
  color: #006;
  border: 1px solid black;
  display: block;
  padding: 1em;
  background: #CCC;
  white-space: nowrap;
  font-weight: bold;
  margin-top: 1em;
  margin-bottom: 1em;
}

dl#expl dd code samp {
  font-weight: normal;
  color: black;
  font-style: italic;
}


kbd {
  font-weight: bold;
}

.shout {
  background: yellow;
  border: .5ex dotted black;
  padding: 1em;
}

.shout strong {
  display: block;
  color: red;
}

input {
  vertical-align: middle;
}

input.reset {
  text-align: center;
  font-family: monospace;
}

input.default {
  text-align: center;
  font-weight: bold;
  font-family: monospace;
}