html {
    font-size : 14pt;
    font-family : 'Open Sans', sans-serif;
}

body {
    padding: 0px 20px 10px 20px;
}


/* a { */
/*     color: #00A; */
/*     text-decoration: none; */
/* } */

/* a:hover { */
/*     text-decoration: underline; */
/* } */

ul {
    list-style: square;
}

li {
    padding: 0px 3px;
    margin: 5px 0px;
}

/* #logo { */
/*     padding: 30px 0px 0px 60px; */
/* } */

/* #logo img { */
/*     border: 0; */
/* } */

/* #logo-small { */
/*     padding: 5px 10px; */
/* } */

/* #logo-small img { */
/*     border: 0; */
/* } */

/* section, */
/* .section { */
/*     padding: 0.25em 1em; */
/*     margin: 1em; */
/*     width: 80%; */
/* } */

/* section .section, */
/* .section .section { */
/*     width: 100%; */
/* } */

/* h1, h2, h3, h4, h5, h6 { */
/*     font-family: Arial, Verdana, sans-serif; */
/*     color: maroon; */
/*     margin: 0; */
/* } */

/* h1 { */
/*     font-size: 14pt; */
/*     font-weight: bold; */
/* } */

/* h2 { */
/*     font-size: 12pt; */
/*     font-weight: bold; */
/* } */

/* h3 { */
/*     font-size: 10pt; */
/*     font-weight: bold; */
/* } */

/* section #main, */
/* .section #main { */
/*     font-size: 24pt; */
/* } */

/* section p, */
/* .section p { */
/*     text-indent: 0; */
/*     text-align: justify; */
/*     margin: 5px 0; */
/* } */

/* section p + p, */
/* .section p + p { */
/*     text-indent: 1.5em; */
/* } */

/* p.noindent { text-indent: 0; margin-top: 5px; } */

/* pre { */
/*     text-align: justify; */
/*     margin: 20px 0 20px 20px; */
/*     padding: 5px; */
/*     background-color: khaki; */
/*     border: 1px dashed maroon; */
/* } */

/* a.fold-link { */
/*     color: grey; */
/*     font-size: small; */
/* } */

/* a.import-link { */
/*     color: grey; */
/*     font-size: small; */
/* } */

/* .tactic { */
/*     color: grey; */
/* } */

/* .command { */
/*     color: black; */
/* } */

/* .comment { */
/*     color: maroon; */
/* } */

/* .view { */
/*     color: grey; */
/*     font-size: small; */
/* } */

/* footer { */
/*   padding: 0.25em 1em; */
/*   margin: 1em; */
/*   border-top: 1px solid #444; */
/*   color: #444; */
/* } */