.print {
    display: none;
}

a {
    color: royalblue;
    text-decoration: none;
}
a:active {
    color: royalblue;
    text-decoration: none;
}
a:visited {
    color: royalblue;
    text-decoration: none;
}
a:hover {
    color: royalblue;
    text-decoration: underline;
}

img {
    max-width: 100%;
    height: auto;
    border: none;
    vertical-align: middle;
}

hr {
    border-color: lightgray;
    border-style: dotted;
    border-width: 1px 0px 0px 0px;
}

body {
    font-family: tahoma, sans;
    color: black;
    background-color: #3366AA;
    margin : 0px auto;
    padding: 0px;
    text-align: left;
    width: 100%;
    max-width: 1000px;
}

#header {
    display: table;
    width: 100%;
    background-color: #3366AA;
}
#header-title {
    display: table-cell;
    vertical-align: middle;
    padding: 5px;
}
#popup-menu-button {
    display: none;
}
#popup-menu {
    display: none;
}

#contents {
    position: relative;
}

div.menu {
    z-index: 999;
    position: absolute;
    top: 0px; left: 0px;
}
div.menu ul {
    margin: 0.7em 0.5em 1.5em 0.5em;
    padding: 0px;
}
div.menu ul li {
    background: url(../../image/klab-list.png) no-repeat 0px 0.7em;
    list-style-type: none; 
    margin: 0px 0px 0px 5px;
    padding: 0.5em 0px 0.5em 15px;
}
div.menu ul li ul{
    margin: 0px;
    padding: 0px;
}
div.menu ul li ul li{
    background: none;
    list-style-type: circle; 
    margin: 0px 0px 0px 20px;
    padding: 5px;
}

#side-menu {
    position: absolute;
    top: 0px; left: 0px;
}
#side-menu div.menu {
    width: 180px;
    background-color: white;    
}
#side-menu div.menu ul {
    border-style: solid; 
    border-color: #3366AA;
    border-width: 2px 2px 2px 10px;    
}
#side-menu div.menu ul li ul {
    border-style: none; 
    border-width: 0px;
}

#main {
    background-color:white;
    padding: 1px 5px 1px 185px;
    min-height: 800px;
    height: auto !important; 
    height: 800px; /* for IE bug */
    line-height: 1.5;
}

@media screen and (max-width: 500px) {
  body {
      width: 100%;
  }
  #logo {
      max-width: 95%;
  }
  #side-menu {
      display: none;
  }
  #main {
      padding: 1px 10px;
      min-height: initial;
      height: auto; 
  }
  #popup-menu-close-overlay { 
      display: block;
      position: fixed;
      top: 0px; left: 0px;
      width: 100%;
      height: 100%;
      color: transparent;
      background-color: transparent;
      z-index: 2;
      text-indent: 100%;
      white-space: nowrap;
      overflow: hidden;
  }
  #popup-menu-button {
      display: table-cell;     
      vertical-align: middle;
      width: 50px;
  }
  #popup-menu-button img {
      width: 32px;
      height: 32px;
      padding: 9px;
  }
  #popup-menu {
      position: relative;
      top: 0px; left: 0px;
  }
  #popup-menu div.menu {
      width: 190px;
      background-color: #3366AA;
      border: 4px solid #3366AA;
  }
  #popup-menu div.menu ul {
      background-color: white;
      border-style: solid; 
      border-color: #3366AA;
      border-width: 0px;
  }
  #popup-menu div.menu ul li {
      font-size:110%;
  }
}

#navigator,#attach,#toolbar {
    padding: 10px;
    margin:  2px 0px;
    background-color: white;
}

#contact {
    font-size:80%;
    padding: 1px 5px;
    margin:  2px 0px 0px 0px;
    background-color: white;
}
#copyright {
    font-size:60%;
    color: white;
    padding:0px;
    margin:1em 5px;
}
#copyright a {
    color: white;
}

ul.whatsnew {
  margin-left: 0px;
  padding-left: 0px;
}

ul.whatsnew li {
  background: url(../../image/klab-list.png) no-repeat 0px 0.3em;
  list-style-type: none;
  margin: 0px 0px 0px 5px;
  padding: 0px 0px 0px 15px;
}

ul.whatsnew a.new {
  color: orangered;
  text-decoration: underline;
}


h1, h2 {
    font-size: 130%;
    border-color: orange;
    border-style: solid;
    border-width: 2px 2px 2px 20px;
    background-color: snow;
    color: inherit;
    padding: .3em;
    margin:  .5em 0px;
}
h3 {
    font-size: 110%;
    border-color: #3366AA;
    border-style: solid;
    border-width: 1px 1px 1px 12px;
    color: inherit;
    background-color: white;
    padding: .3em .3em .3em .5em;
    margin:  1em 0px .5em 0px;
}
h4 {
    font-size: 100%;
    border-color: darkgray;
    border-style: solid;
    border-width: 1px 1px 1px 4px;
    color: inherit;
    background-color: white;
    padding: .2em .6em .2em .6em;
    margin:  .5em 0em;
}
h5, h6 {
    font-size: 90%;
    color: inherit;
    background-color: darkgray;
    padding: .3em;
    border: 0px;
    margin: .3em 0px;
}

table.style_table {
    border-width: 0px;
    border-collapse: collapse;
    border-spacing: 0px;
    margin-left: 0px;
    margin-right: auto;
}
td.style_td {
    border: 1px solid lightgray;
    padding: 0.25em;
}

pre {
    word-wrap: break-word;
    white-space: pre-wrap;
}

a.anchor_super {
    display: none;
}

div.jumpmenu {
    display: none;
}    

/* clear.inc.php */
.clear {
    margin:0px;
    clear:both;
}
/* diff.inc.php */
span.diff_added {
    color:blue;
    background-color:inherit;
}

span.diff_removed {
    color:red;
    background-color:inherit;
}