body {
   font-size: 100%;
   line-height: 100%;
   background-color: #ffffff;
   color: #333344;
   margin-left: 10%;
   margin-right: 10%;
   margin-top: 7%;
   margin-bottom: 5%;
}

p {
   font-size: 100%;
   line-height: 130%;
   width: 95%;
   margin-right: auto;
   margin-left: auto;
}

h1 {
   color: #003355;
   text-indent: 0em;
   line-height: 130%;
}

h2 {
   text-indent: 0.5em;
   padding: 0.3em 0em 0.2em 0em;
   margin: 1.5em 0em 1em 0em;
   color: #666666;
   background-color: #ffffff;
   border-style: solid;
   border-color: gray;
   border-width: 0 0 1px 0;
}

h3 {
   text-indent: 1.0em;
   line-height: 130%;
   /*text-decoration: underline;*/
   /*border-left: solid 1.0em #999999;*/
}

h4 {
   text-indent: 1.5em;
   line-height: 110%;
}

pre {
   text-indent: 0em;
   font-size: 100%;
}

pre.command {
   font-family: 'Courier New';
   margin-top: 7px;
   margin-bottom: 7px;
   margin-right: auto;
   margin-left: auto;
   width: 80%;
   text-indent: 0em;
   font-size: 90%;
   line-height: 100%;
   background: #eeefff;
   padding: 10px 20px 10px 20px;
   border-width: 1px 1px 1px 1px;
   border-style: solid;
}

pre.code {
   font-family: 'Courier New';
   margin-top: 7px;
   margin-bottom: 7px;
   margin-right: auto;
   margin-left: auto;
   width: 80%;
   text-indent: 0em;
   font-size: 90%;
   line-height: 100%;
   background: #f7f7f7;
   padding: 10px 20px 10px 20px;
   border-width: 1px 1px 1px 1px;
   border-style: solid;
}

pre.synopsis {
   font-family: 'Courier New';
   margin-top: 7px;
   margin-bottom: 7px;
   margin-right: auto;
   margin-left: auto;
   width: 90%;
   text-indent: 0em;
   font-size: 90%;
   line-height: 100%;
   background: #f7f7f7;
   padding: 10px 20px 10px 20px;
   border-width: 1px 1px 1px 1px;
   border-style: solid;
}

img.demo {
   border-style: solid;
   border-width: 1px;
   border-color: black;
}

img {
   border-style: solid;
   border-width: 0px;
   border-color: black;
}

hr {
   border-color: #999999;
   border-style: solid;
   height: 2px;
}

hr.short {
   border-color: #cccccc;
   border-style: solid;
   width: 100%;
   height: 0px;
}

hr.end {
   border-color: #888888;
   border-style: solid;
   height: 2px;
}

hr.tiny {
   border-color: #cdcdcd;
   border-style: solid;
   width: 90%;
   height: 0px;
}

ul {
   font-size: 100%;
   line-height: 110%;
}

ul.small {
   font-size: 100%;
   line-height: 90%;	
}

li {
   margin-top: 0.5em;
   margin-bottom: 0.5em;
}

span.highlight {
   color: blue;
}

span.comment {
   color: brown;
}