body {
	 font-family:  Verdana, Arial, Helvetica, Sans-Serif;
}

.command {
	font-family:		monospace;
}

.emphasis {
	font-style:		italic;
}

.filename {
	font-family:		monospace;
}



.programlisting {
        font-family: monospace;
        font-size: 1em;
        display: block;
        padding: 10px;
        border: 1px solid #bbb;
        background-color: #ddd;
        color: #000;
        overflow: auto;
        border-radius: 2.5px;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
}
a { 
    text-decoration: none;
    border-bottom: 1px dotted #000; 
}

a:hover {
    background-color: #777;
    color: #fff; 
}

em {
	/* bold face, higher number is more bold */
  font-weight: 600;
  font-style: italic;
}