@media screen {

.env-navi { font-size: 100%; }


h1, h2, h3, h4 { 
                 font-family: "Times New Roman", sans-serif, gothic;
                 margin-left: -0.5em;
                 margin-right: 0em; 
                 margin-top: 0.5em; }

h1 { margin-left: 1em; 
     margin-top: 1em;
     margin-bottom: 0.5em; }

p { margin-bottom: 0em;
    margin-top: 0.2em;
    line-height: 2em; }

ul { background: #ffffdd;
     padding-top: 0.5em;
     border: none;
     line-height: 1.5em;
     margin-left: 0.5em;
     padding-bottom: 0.5em;
     padding-left: 2em; 
     padding-right: 1em; }

ol { line-height: 2em; }

.body-part { font-size: 100%;
             padding-left: 5%;
             width: 70%;
             float: left; }

.body-part h2 { border-bottom: 3px solid #ff3300;
     padding-top: 0.5em;
     padding-left: 0.5em;
     margin-top: 0.5em; }

.body-part h3 { border-bottom: 1px solid #ff3300;
     padding-top: 0.5em;
     padding-left: 0.5em;
     border-left: 10px solid #ffcc00;
     font-size: 100%; }


.full h3 { border-left: 10px solid #ff3300; 
           border-bottom: none;
           margin-bottom: 1.5em; }


.toc { width: 22%;
       float: left;
       border: none;
       border-width: 1px;
       margin: 1%;
       padding-bottom: 1em;
       padding-right: 0em;
       font-size: 80%; }


.toc h2 { padding-top: 2em; }

.toc p { padding-bottom: 0.5em;
         margin-left: 5%; }

a:link:hover, a:visited:hover { 
  background: #ffffaa; 
  border-width: 1px 0px 0px 1px; }

}