h2 {
border-left: 5px solid #000000;
border-bottom: 1px solid #000000;
margin-top: 25px;
padding-left: 10px;
}

h3 {
border-bottom: 1px solid #000000;
margin-top: 25px;
padding-left: 20px;
}

.command {
    color: #ff0000;
}

.comment {
    color: #0000ff;
}

img {
border: 1px solid #000000;
margin-left: 5%;
}

.head {
}

.menu {
margin-top: 5px;
margin-bottom: 20px;
}

.main {
margin-bottom: 30px;
margin-left: 2%;
margin-right: 2%;
line-height: 1.5em;
}

.bar {
border-top: 1px solid #000000;
}

.kbd {
color: red;
}