.line-top {
    font-size: 10pt;
    background-color: #FFFFAA;
    border: 1px solid black;
    margin: 1px;
    padding: 1px;
}
.line {
    font-size: 10pt;
    background-color: #FFFFAA;
    border-right: 1px solid black;
    border-left: 1px solid black;
    border-bottom: 1px solid black;
    margin: 1px;
    padding: 1px;
}
.line-bot {
    font-size: 10pt;
    background-color: #FFFFAA;
    border-right: 1px solid black;
    border-left: 1px solid black;
    border-bottom: 1px solid black;
    margin: 1px;
    padding: 1px;
}
.code-top {
    font-family: courier;
    font-size: 10pt;
    border-right: 1px solid black;
    border-top: 1px solid black;
    margin: 1px;
    padding: 1px;
}
.code {
    font-family: courier;
    font-size: 10pt;
    border-right: 1px solid black;
    margin: 1px;
    padding: 1px;
}
.code-bot {
    font-family: courier;
    font-size: 10pt;
    border-right: 1px solid black;
    border-bottom: 1px solid black;
    margin: 1px;
    padding: 1px;
}
.fail-compile {
    font-family: courier;
    border-right: 1px solid black;
    border-left: 1px solid black;
    background-color: red;
    margin: 1px;
    padding: 1px;
}
.success-compile {
    font-family: courier;
    font-size: 10pt;
    border-right: 1px solid black;
    border-left: 1px solid black;
    margin: 1px;
    padding: 1px;
    color: white;
    background-color: black;
}
.fail-compile-end {
    font-family: courier;
    border-right: 1px solid black;
    border-left: 1px solid black;
    border-bottom: 1px solid black;
    background-color: red;
    margin: 1px;
    padding: 1px;
    color: white;
}
.success-compile-end {
    font-family: courier;
    font-size: 10pt;
    border-right: 1px solid black;
    border-left: 1px solid black;
    border-bottom: 1px solid black;
    margin: 1px;
    padding: 1px;
    color: white;
    background-color: black;
}
.fail-run {
    font-family: courier;
    font-size: 10pt;
    border-right: 1px solid black;
    border-left: 1px solid black;
    border-bottom: 1px solid black;
    margin: 1px;
    padding: 1px;
    color: white;
    background-color: black;
}
.success-run {
    font-family: courier;
    font-size: 10pt;
    border-right: 1px solid black;
    border-left: 1px solid black;
    border-bottom: 1px solid black;
    margin: 1px;
    padding: 1px;
    color: white;
    background-color: black;
}
.title {
    font-family: courier;
    border-right: 1px solid black;
    border-left: 1px solid black;
    border-top: 1px solid black;
}
.left-menu {
    font-size: 10pt;
    border-right: 1px solid black;
    background-color: #FFFFDD;
    vertical-align: top;
    padding-right: 15px;
}
.right-menu {
    font-size: 10pt;
    border-left: 1px solid black;
    background-color: #FFFFDD;
    vertical-align: top;
    padding-left: 15px;
}
.footer-left {
    font-size: 10pt;
    vertical-align: top;
    padding-left: 15px;
    text-align: left;
}
.footer-right {
    font-size: 10pt;
    vertical-align: top;
    padding-left: 15px;
    text-align: right;
}
.lesson-text {
    width: 500pt;
}