2 font-family: "source sans pro", "clear sans", "liberation sans",
20 font-family: "source code pro", "liberation mono", "monospace";
31 text-decoration: none
;
38 list-style-type: none
;
52 list-style-type: none
;
65 /* Setting an explicit margin to keep the navbar from moving */
86 /* Trick to avoid the navbar hiding the the target of an # link */
90 background: #ffa; /* Highlight the jump target */
91 background-clip: content-box
;
103 list-style-type: none
;
104 background: #336 url
("nasmlogw.png") no-repeat right center
;
105 background-size: contain
;
115 border-right: 1px solid
#bbb;
120 text-decoration: none
;
123 background-color: #448;