body {
font-family:arial,sans-serif;
}
.section {
margin-left:1.3em;
}

div.file {
width:13em;
float:left;
}
div.description {
margin-top:0.4em;
}
div.list {
margin-left:2.2em;
}

.commands {
background-color:lightgray;
font-family:courier,monospace;
margin-left:1em;
padding:0.5em;
}

span.smily {
font-weight:bold;
color:#000010;
}