body, p, td, th, ul, ol, dl {
    font-size: 11pt;
}

body {
    padding-left: 10px;
    padding-right: 10px;
}


h1 {
  font-size: 140%;
  font-family: verdana, helvetica, arial, sans-serif;
}

h2 {
  border-bottom: 2px solid #333;
  font-family: verdana, helvetica, arial, sans-serif;
}

h3 {

  font-family: verdana, helvetica, arial, sans-serif;
  border-bottom: 2px solid #dbdcdd;
  color: #6d6f72;
}

.author h3 {
    border-bottom: none;
  color: #000;
}


dt {
  font-variant: small-caps;
  color: rgb(0,132,156);
}

.toc dt {
font-variant: normal;
font-size: 10pt;
}

.toc {
    font-family: georgia, lucida, "times new roman", times, serif;
    
}

.toc a, .toc a:visited, .toc a:link, .toc a:active {
    text-decoration: none;
    color: #666;
}

pre.screen { 
    border: 2px solid #999;
    font-family: consolas, lucida console, courier new, courier, monospace;
    padding: 3px;
    font-size: 90%;
}

.toc dt {
    margin-left: 13px;
}

.toc dt .expander {
    margin-left: -13px;
    background-repeat: no-repeat;
}

dt.opened a.expander {

    background-image: url('images/opened.png');
}

dt.closed a.expander {
    background-image: url('images/closed.png');

}

a.expander img {
    border: none;
}

div.note {
  background-color: #F0F0F0;
  padding: 3px;
  border: 1px solid #999;
}

div.note h3 {
    margin-top: 3px;
}


.literallayout {
	white-space: pre;
}

.literallayout p code {
	white-space: nowrap;
}

div.example {
  padding-left: 3px;
  padding-right: 3px;
  border: 1px dotted #999;
}

div.example p.title {
  border-bottom: 1px solid #CCC;
}