body, html {
  color:#444444;
  font-size:12px;
  font-family: verdana, arial, sans serif;
  height: 100%;
  margin: auto;
  margin:20px;
}

code {
  font-family: monospace;
  white-space: pre;
  color:#005ca9;
}

.codeblock {
  display:block;width:90%;
  background:#efefef;
  padding:10px;
}

.link    {color:#005ca9;}

h2,h3,h4 {color:#324169;}
h2 {font-size:20pt;}
h3 {font-size:16pt;}
h4 {font-size:14pt;}

ul, #myUL, #myUL2 {
   list-style-type: none;
}

#myUL, #myUL2 {
    margin: 0;
    padding: 0;
  }

  .menu_div {
    float: left;
    width: 25%;
    height: 100%;
    margin-left: 8px;
    padding-top: 8px;
  }

  .obj_div {
    float: right;
    width: 70%;
    height: 100%;
    border-left-style: solid;
    border-left-width: 1px;
  }

  .head_banner {
    float:left;
    background-color: #0a5fb3;
    border-bottom-style: solid;
    border-bottom-width: 1px;
    width: 100%;
  }

  .obj_iframe {
    display: block;
    width: 100%;
    height: 100%;
  }

  .caret {
    cursor: pointer;
    -webkit-user-select: none; /* Safari 3.1+ */
    -moz-user-select: none; /* Firefox 2+ */
    -ms-user-select: none; /* IE 10+ */
    user-select: none;
  }

  .caret::before {
    content: "\25B6";
    color: black;
    display: inline-block;
    margin-right: 6px;
  }

  .caret-down::before {
    -ms-transform: rotate(90deg); /* IE 9 */
    -webkit-transform: rotate(90deg); /* Safari */
    transform: rotate(90deg);
  }

  .nested {
    display: none;
    padding-left: 16px;
  }

  .active {
    display: block;
  }

  .found-mark {
    background-color: #ffff00;
  }

  a:link, a:visited {
       color: #324169
 }


 .badge {
   border-radius: 10;
   text-transform: uppercase;
   width: 70px;
   font-weight: normal;
   color: #f3f3f6;
   line-height: normal;
 }

 .badge_cli {
   background-color: #888888;
 }

 .badge_restapi {
   background-color: #AAAAAA;
 }

 .badge_get {
   background-color: #63a8e2;
 }
 .badge_post {
   background-color: #6cbd7d;
 }
 .badge_put {
   background-color: #22bac4;
 }
 .badge_delete {
   background-color: #d26460;
 }
 .badge_patch {
   background-color: #ccc444;
 }