body {
    font-family: Arial;
    margin: 0;
    padding: 0;
}
pre {
    border-radius: 10px;
    overflow: hidden;
}
#wrap {
    width: 800px;
    margin: auto;
    margin-bottom: 30px;
}
.opt-table {
    width: 100%;
    border-spacing: 0px;
}
.opt-table thead {
    color: #505050;
    background: rgb(207, 207, 207);
}
.opt-table th, .opt-table td {
    padding: 5px;
}
.opt-table td {
    border-bottom: 1px solid silver;
    font-size: 80%;
}
.opt-table th {
    font-weight: initial;
    font-size: 80%;
}
.opt-table td:first-child {
    font-weight: bold;
}
.opt-table tr:hover {
    background: rgb(236, 236, 236);
}
.magic {
    color: rgb(172, 172, 172);
    font-size: 80%;
}