@charset "utf-8";

body {
    margin: 0;
    padding: 0;
    background-color: #FFFFFF;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 1.0em;
    color: #000000;
}
h1, h2, h3, h4, h5, h6, p {
    margin-top: 0;
    margin-bottom: 0;
}
img {
  width: auto;
  max-width: 100%;
  height: auto;
}
a img {
    border: none;
}
a:link {
    color:#0000FF;
    text-decoration: none;
}
a:visited, a:focus, a:active {
    color:#008080;
    text-decoration: none;
}
a:hover {
    color: #00FF00;
    text-decoration: none;
}
.textlinks a:link, .textlinks a:visited, .textlinks a:focus, .textlinks a:active {
    color:#000000;
    text-decoration: none;
}
.textlinks a:hover {
    color: #0000FF;
    text-decoration: underline;
}

.container {
    width: 100%;
    height: 1600px;                                                            /* to display scrollbars even if not needed */
}
.clearfloat {
    clear:both;
    height:0;
    line-height: 0px;
    font-size: 1px;
}
.header {
    margin-bottom: 25px;
}
.title {
    padding-top: 10px;
    padding-bottom: 10px;
    background-color: #0000FF;
    color: #FFFFFF;
    text-align: center;
}
.content {
    padding-left: 15px;
    padding-right: 15px;
    text-align: justify;
}
.small {
    font-size: 80%;
}
.bold {
    font-weight: bold;
}
.underline {
    text-decoration: underline;
}
.italic {
    font-style: italic;
}
.bunderline {
    font-weight: bold;
    text-decoration: underline;
}
.red {
    font-weight: bold;
    color: #FF0000;
}
.red2 {
    color: #FF0000;
}
.blue {
    color: #8B008B;
}
.config {
    color: #808080;
    font-style: italic;
}
.code {
    font-size: 80%;
    font-style:italic;
    color: #8B4513;
}
.code2 {
    font-size: 100%;
    font-style:normal;
    color: #8B4513;
}
.comment {
    font-style: italic;
    color: #D2691E;
}
.equations {
    font-family: Consolas;
    font-size: 17px;
    color: #8B4513;
}
.rule {
    font-weight: bold;
    color: #FF00FF;
}
.vector {
    color: #9400D3;
}