.comment { color: #008000; }
.mneumonic { color: #800000; }
.directive { color: #808080; }
.number { color: #000080; }
.register { color: #800080; }
.punctuation { color: #808000; }
body { background: #ffffff; color: #000000; }
dd { margin-bottom: 6em; }
