header {
    background-color: #b195f14b;
    display: flex;
    justify-content: center;
    height: 70px;
    font-size: 18px;
}
a {
    text-decoration: none;
}
article { 
    width: 700px;
    text-align: left;
    margin-left: auto;
    margin-right: auto;
}
h1 {
    margin-top: 18px;
    font-size: 27px;
    font-family:'Times New Roman', Times, serif;
}
h3 {
    margin-bottom: -10px;
    font-size: 15px;
    font-family:'Times New Roman', Times, serif;
}
h4 {
    margin-bottom: 0px;
    font-size: 13px;
}
pre.term {
    padding-left: 16px;
    color: white;
    background-color: black;
}
p {
    text-indent: 16px;
    font-size: 15px;
    font-family:'Times New Roman', Times, serif;
}
.title3 {
    width: 100%;
}
div.title3 h3 {
    margin: 0;
    text-align: left;
    float: left;
}
div.title3 p {
    text-align: right;
    color:yellowgreen;
}
div.co {
    margin-top: 2px;
    padding-top: 1px;
    padding-bottom: 1px;
    color: #708091ff;
    background-color: #f6f2f0ff;
    display: flex;
}
footer {
    font-size: 10px;
    color: #8c61f18f;
}
.left {
    float: left;
    text-align: left;
}
.right {
    float: right;
    text-align: right;
}
.center {
    float: center;
    text-align: center;
    color: white;
}
.TopIndex {
    float: center;
    text-align: center;
    font-size: 17px;
}
hr {
    color: #b195f14b;
}
ul {
    list-style: none;
    font-size: 15px;
    font-family:'Times New Roman', Times, serif;
}
.mono {
    font-family:Monaco, monospace, monospace, serif;
}
.log {
    font-size: 10px;
    color: #23a3388a;
    margin-top: 10px;
}
.mo {
    font-family:Monaco, monospace, monospace, serif;
    margin-top: 14px;
    margin-bottom: 0px;
    font-size: 13px;
}
.term {
    font-family:Monaco, monospace, monospace, serif;
    font-size: 13px;
}
.sample {
    font-size: 17px;
    font-family:'Times New Roman', Times, serif;
}
img.title {
    margin-top: 14px;
    width: 350px;
}