@charset "utf-8";
* { 
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}
body {
    font-family: 'Courier New', Courier, monospace;
    line-height: 1.6;
    font-weight: 300;
    font-size: 20px;
    font-style: normal;
    background-color: #e0e6ee;
    color: rgb(72, 72, 72);
    padding: 20px;
}
a { 
    color: slategray;
}
summary:hover {
    color: black;
}
.ho_generated {
    width: 900px;
}
.dear_teacher {
    width: 800px;
}
.tutorial {
    width: 480px;
}