body {
    font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
    font-size: 13px;
    line-height: 1.4;
}

p, ul, ol {
    font-size: 13px;
    margin-left: 15px;
    margin-right: 15px;
}

table {
    font-size: 13px;
}

table p {
    margin: 0px;
}

#notes {
    border-top: solid 1px #DEDEDE;
}

#top {
    margin-bottom: 5px;
    display: block;
    overflow: visible;
    height: 180px;
}

#top #menubar {
    width: 100%;
    padding-top: 4px;
    padding-bottom: 4px;
    margin-top: 5px;
    border-top: solid 1px #DEDEDE;
    border-bottom: solid 1px #DEDEDE;
}

#menubar #header {
    color: #0A0AA0;
    text-align: left;
    font-size: 14pt;
    font-weight: normal;
    margin: 0;
    padding: 0;
}

@media print
{
  #menubar a {
    display: none;
  }
}

@media screen
{
  #menubar a {
      margin-left: 10px;
      color: #666666;
  }
}

#footer {
    padding: 10px;
}

@media screen
{
  #sidebar {
      position: absolute;
      margin-top: 15px;
      width: 16%;
      display: block;
      overflow: visible;
  }

  #content2col {
      position: absolute;
      left: 18%;
      width: 81%;
      margin-top: 15px;
      display: block;
      background-color: white;
      overflow: visible;
  }

  #content {
      position: absolute;
      left: 18%;
      width: 62%;
      margin-top: 15px;
      display: block;
      background-color: white;
      overflow: visible;
  }

  #news {
      position: absolute;
      width: 18%;
      left: 82%;
      margin-top: 15px;
      display: block;
      overflow: visible;
  }

  #version-info {
      color: #666666;
      text-align: right;
      margin-top: 3px;
      font-size: 8pt;
      margin-bottom: 5px;
  }
}

.toc {
	margin-top: 10px;
	margin-bottom: 5px;
	font-size: 80%;
	padding-left: 40px;
	padding-bottom: 5px;
}

.tocitem2 {
	padding-left: 15px;
}

h1 { 
    font-size: 160%;
    font-weight: normal;
    color: white;
    background-color: #0990EE;
    border: 1px solid #999;
    margin-left: 0px;
    margin-bottom: 15px;
    margin-top: 0px;
    padding-left: 5px;
    padding-right: 5px;
    padding-bottom: 5px;
}

h2 { 
    font-size: 160%;
    font-weight: normal;
    color: #666666;
    margin-left: 0px;
    margin-top: 25px;
    margin-bottom: 5px;
    margin-right: 20px;
    text-align: left;
    border-bottom: 1px solid ;
}

h3 { 
    font-size: 12pt;
    font-weight: normal;
    color: #666666;
    font-style: italic;
    text-align: left;
    padding-left: 15px;
    margin-right: 20px;
}

h4 {
    font-weight: bold;
    padding-left: 15px;
}

.record {
    margin: 10px;
    padding: 10px;
    width: 457px;
    border: solid 1px #DEDEDE;
}
			
.citation {
}
			
.heading {
    font-weight: bold;
}
			
.title {
    font-weight: bold;
    font-size: 12px;
}
			
.citekey {
    color: #50497A;
    margin-left: 20px;
}
			
.note {
}
			
a {
    color: #0A0AA0;
    font-weight: bold;
    text-decoration: none;
}

@media screen
{
  a:hover {
      border-bottom: solid 1px gray;
  }
}

input.mark {
    float: left;
    margin-left: -30px;
}

input.search {
    margin-left: 40px;
    padding: 10px;
    background-color: transparent;
    font-size: 10px;
    font-weight: bold;
}

input.view{
    margin-left: 40px;
    margin-top: 10px;
    font-size: 9px;
}

input.search-button{
    margin-left: 20px;
    font-size: 9px;
    width: 70px;
}

select.choose {
    font-size: 9px;
    margin-left: 10px;
    margin-top: 10px;
    background-color: #E1DD68;
}

.banner {
    text-align: center;
    margin-top: 20px;
}

@media print
{
  .block {
    display: none;
  }
}

@media screen
{
  .block {
    margin:0px 6px 12px 6px;
    padding: 4px;
    background: #fff;
    border: 1px solid #999; 
  }

  .block h3 {
    background: #ddd;
    color: #000;
    margin: -4px -4px 4px -4px;
    padding: 4px;
    border-bottom: 1px solid #999;
    font-size: 11px;
  }

  .block ul {
      margin: 0;
      padding: 0;
      list-style-type: none;
  }

  .block li {
  }

  .block .date {
      text-align: right;
      font-size: 9.5pt;
      font-style: italic;
      border-bottom: 1px solid #999;
  }

  .block .headline {
      margin-bottom: 10px;
  }

  .block a {
      display: block;
      padding: 3px;
      font-size: small;
      color: #666666;
      font-weight: normal;
  }

  .block a:link, a:visited {
      text-decoration: none;
      padding-left: 10px;
      padding-right: 10px;
  }

  .block a:hover   {
      background-color: #ddd;
      color: #666666;
      border-bottom: none;
  }

  #sidebar input.search-sidebar {
      margin-left: 10px;
      width: 120px;
  }

  #sidebar input.search-button {
      margin-top: 5px;
      margin-bottom: 15px;
  }
}

.xmlsrc {
    margin-top: 20px;
    margin-bottom: 20px;
    padding-right: 10px;
    text-align: right;
}

.filename {
    font-family: Courier, monospace;
    font-size: 120%;
}

.option {
    font-family: Courier, monospace;
}

.classname {
    text-decoration: underline;
}

.methodname {
    text-decoration: underline;
}

.command {
    font-weight: bold;
}

.variablelist {
    margin-left: 15px;
}

div.screen {
    font-family: Courier, monospace;
}

div.synopsis {
    margin: 15px;
    padding-left: 5px;
    font-family: Courier, monospace;
    text-align: left;
    background: #ddd;
}

.note_title {
    font-decoration: underline;
    font-weight: bold;
}

div.note {
    margin-top: 10px;
    margin-bottom: 10px;
    padding-left: 5px;
    padding-right: 5px;
    padding-top: 5px;
    padding-bottom: 5px;
    border: 1px solid #203cd8;
}

.important_title {
    font-decoration: underline;
    font-color: red;
    font-weight: bold;
}

div.important {
    margin-top: 10px;
    margin-bottom: 10px;
    padding-left: 5px;
    padding-right: 5px;
    padding-top: 5px;
    padding-bottom: 5px;
    border: 1px solid red;
}

.example {
    margin-top: 15px;
    margin-bottom: 15px;
    padding-left: 10px;
    padding-right: 15px;
    padding-top: 10px;
    padding-bottom: 10px;
    text-align: left;
    background: #fafafa;
    border: 1px solid #999;
}

div.example_title {
    font-size: 14px;
    font-weight: bold;
    margin-bottom: 5px;
    text-decoration: underline;
}

.figure {
    margin-top: 15px;
    margin-bottom: 15px;
    margin-left: 25px;
    margin-right: 25px;
    padding-left: 15px;
    alignment: center;
}

.figtitle {
    font-size: 14px;
    font-weight: bold;
    text-decoration: underline;
}

.variablelist {
    margin-left: 15px;
    margin-right: 15px;
}

#login {
    padding: 10px;
    display: block;
    border: 1px solid #999;
    background: #fafafa;
    margin-left: 15px;
    margin-right: 15px;
}
