a.\_collapse-toggle {
        text-decoration: none;
      }
    
    
      table.\_page-navigation {
        width: 100%;
        padding: 0 1% 0 1%;
        margin: 0;
        font-size: 80%;
      }

      table.\_page-navigation td.left { text-align: left; }
      table.\_page-navigation td.right { text-align: right; }
      table.\_page-navigation td.middle { text-align: center; }

      .\_page-navigation a {
        color: blue;
        text-decoration: none;
      }
    
    
      ul.\_navigation li {
        padding: 0;
        margin: 0;
      }
      
      ul.\_navigation {
        margin: 0.125em 0 0.125em 0;
        padding-left: 20px;
        list-style-image: url(icons/nav-item-collapsed-empty.png);
      }
      
      ul.\_navigation a {
        text-decoration: none;
      }
      

    
    
      html, body {
        margin: 0;
        padding: 0;
        background-color: white;
        font-family: sans-serif;
      }
      
      h1, h2, h3, h4, h5, h6 {
        font-family: serif;
      }

      p {
        text-align: justify;
        margin: 0.5em 0.50em 0.5em 0.75em;
        padding: 0;
      }
    
    
      div#\_body {
        margin-left: 20%;
        padding-left: 2%;
        padding-right: 2%;
      }
      
      div#\_navigation-panel {
        margin: 0;
        padding: 0;
        width: 20%;
        left: 0;
        top: 0;
        bottom: 0;
        font-size: 80%;
      /*  float: left;*/
        position: absolute;
        overflow: auto;
        background-color: white;
      }

      body > div#\_navigation-panel {
	position: fixed;
      }

    
    
      span.xml-element {
        padding: 0.1em 0.25em 0.1em 0.25em;
      }
      
      b.tag-name {
        padding-left: 0.1em;
        background-color: rgb(75%, 95%, 75%);
        border-left: thin dashed black;
      }
      
      code.markup {
        font-family: serif;
        font-weight: normal;
      }
      
      kbd.file {
        font-family: serif;
      }

      pre.xml {
        font-family: serif;
        background-color: rgb(95%, 95%, 95%);
      }

      dl.cases dt {
        background-color: rgb(95%, 95%, 95%);
      }