h1, h2, h3, h4, h5 {
  font-family: verdana, arial, helvetica, sans-serif;
  color: #505050;
  margin-top: 0.4em;
  margin-bottom: 0em;
}

h5 { font-size: small; }
h4 { font-size: medium; font-style: italic;}
h3 { font-size: large; }
h2 { font-size: x-large; }
h1 { 
  font-size: xx-large;
  font-variant: small-caps;
  text-align: center;
  margin-bottom: 0.2em;
  color: white;
  background-color: #8cacbb;
  padding: 0.2em;
}

h2:first-child, h3:first-child, h4:first-child {
  font-variant: small-caps;
  line-height: 0.9em;
  border-bottom: 2px solid #8cacbb;
}

p, .fn {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  text-align: justify;
}

.fn {
  display:inline;
}

tt {  
  font-size: 100%;
}

span.sc {
  font-variant: small-caps;
}

span.sf {
  font-variant: sans-serif;
}


.authors {
  text-align: center;
  word-spacing: 4em;
  display: block;
  padding-bottom: 2em;
}

table.author {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  word-spacing: normal;
  display: inline;
  border-collapse: collapse;
  text-align: center;
}

.authname {
  padding-top: 0.5em;
  font-style: italic;
  font-weight: bold;
  font-size: 120%;
}

.authtitle, .authaffiliation, .authaddr, .authphone {
  margin: 0pt;
  padding: 0pt;
}


.ending {
  margin-top: 2em;
  border-top: solid 1pt #d0d0d0;
  border-left: dotted 0.3em #d0d0d0;
  color: grey;
  background: #f7f7f7;
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: x-small;
  padding: 0.5em;
}

.ending > :link, .ending > :visited {
  color: #80b0f0;
  text-decoration: none;
}

.ending > :link:hover, .ending > :visited:hover {
  text-decoration: underline;
}

a:link img, a:visited img {
  border-style: none;
}

.buttons {
  float:right;
  width: 166px;
}

.w3c {
  background: url('imgs/xhtml.gif') center no-repeat;
  padding: 1px;
  width: 80px;
  height: 15px;
  display:block;
  float:left;
}

.css {
  background: url('imgs/css.gif') center no-repeat;
  padding: 1px;
  width: 80px;
  height: 15px;
  display:block;
  float: right;
}

.buttons > :link:hover {
  background-color: #c0d8f0;
}

.w3c span, .css span {
  display: none;
}

li {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  text-align: justify;
}

pre {
  font-family: monospace, mono, courier, fixed;
  font-size: 80%;
  border: solid 1px;
  margin-left: 1.5em;
  margin-right: 1.5em;
  margin-bottom: 0pt;
  padding: 0.7em;
}

.code {
  overflow: auto;
  background: #f0f0f0;
  border-color: #dddddd;
}

.out {
  overflow: auto;
  border: 1px solid #8cacbb;
  background-color: #dee7ec;
}

.in {
  overflow: auto;
  background: #fff8dd;
  border-color: #eeddaa;
}

pre.in + pre.out, pre.out + pre.in {
  margin-top: -0.7em;
  padding-top: 0em;
  border-top: none;
}

tt {
  font-family: monospace, mono, courier, fixed;
  font-size: 100%;
}

.api {
  border: dashed lightgrey 1px;
  margin-left: 1.5em;
  margin-right: 1.5em;
  padding: 0.7em;
  position: relative;
  background: white;
}

.api + .api, 
.api + div + .api,
.api + div + div +.api,
.api + div + div + div + .api {
  border-top: none;
  margin-top: -1pt;
}

.apiident {
  font-family: verdana, arial, helvetica, sans-serif;
  font-weight: bold;
  display: table-cell;
  border-bottom: solid 1pt #666666;
  white-space: nowrap;
}

.apiident:after {
  content: ":";
}

.apikind {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: x-small;
  font-style: italic;
  display: table-cell;
  text-align: right;
  border-bottom: solid 1pt #666666;
  width: 100%;
}
 
.funname { 
  color: blue;
  font-weight: bold;
}

.argreq { 
  font-style: italic;
}

.argopt { 
  font-style: italic;
  color: #666666;
}

.argsym { 
  font-style: normal;
  font-weight: bold;
  color: black;
}

.argopt:before { 
  font-style:normal;
  content: "[";
  color: grey;
}

.argopt:after {
  font-style:normal;
  content: "]";
  color: grey;
}

.argmany {
  font-style: italic;
}

.argmany:after {
  content: "...";
  color: grey;
}

.fun {
  margin-left: 5%;
  margin-top: 0.5em;
}

/*
.fun + .fun {
  margin-top: 0.5em;
}
*/

.funproto {
  display: table-cell;
  white-space: nowrap;
}

.fundesc {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  width: 100%;
  text-align: right; 
  display: table-cell;
  padding-left: 0.5em;
}

div.desc {
  text-align: center;
}

div.synopsis {
  position: relative;
}

div.synopsis:before {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  font-weight: bold;
  margin-top: 0.5em;
  margin-bottom: 0.3em;
  display: block;
  text-decoration: underline;
}


div.desc:before {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  font-weight: bold;
  display: block;
  margin-top: 1.2em;
  margin-bottom: 0.3em;
  content: "Arguments:";
  text-align: left;
  text-decoration: underline;
}

table.tdesc {
  display: inline-table;
  margin-left: 5%;
  margin-right: 5%;
  width: 90%;
}

.thdesc {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%;
  font-weight: normal;
  background: #7c9cab;
  border-bottom: solid #5c7c8b 1pt;
  padding-left: 0.5em;
  padding-right: 0.5em;
  color: white;
}

.argname {
  font-family: monospace, mono, courier, fixed;
  font-size: small;
  text-align: left;
  background: #f0f0f0;
  padding-left: 0.3em;
  padding-right: 0.3em;
}

.argtype {
  font-family: monospace, mono, courier, fixed;
  font-size: small;
  color: green;
  text-align: left;
  background: #f0f0f0;
  padding-left: 0.3em;
  padding-right: 0.3em;
}

.argdesc {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: small;
  text-align: left;
  width: 100%;
  background: #f0f0f0;
  padding-left: 0.3em;
  padding-right: 0.3em;
}

.footnote {
  width: 20%;
  margin-top: 2.5em;
  margin-right: 80%;
}

.idtable {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 80%; 
  width: 100%;
}

.idcol {
  width: 50%;
  vertical-align: top;
}

.idmark {
  font-weight: bold;
  font-style: italic;
  font-size: 110%;
  padding-top: 1em;
}

.id2 {
  padding-left: 1.2em;
}

.id2:before {
  content: "... ";
  text-align: right;
  width: 1em;
  margin-left: -1.2em;
}


table > tbody > tr:first-child > .idmark {
  padding-top: 0pt;
}

.idhead {
  font-family: verdana, arial, helvetica, sans-serif;
  font-style: italic;
  font-weight: bold;
  font-size: 140%; 
  text-align: center;
  padding-top: 0.5em;
  padding-bottom: 1em;
}

a:link img, a:visited img {
  border-style: none;
}

.w3c {
  float:right;
}