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
;
66 -webkit-column-gap: 4em;
67 -webkit-column-rule: 1px dotted black
;
69 -moz-column-rule: 1px dotted black
;
71 column-rule: 1px dotted black
;
74 @media only screen and
(min-width: 90em) {
75 /* For a very wide screen, go to a columnar layout */
77 -webkit-column-count: 2;
82 @media only screen and
(min-width: 135em) {
84 -webkit-column-count: 3;
90 /* Setting an explicit margin to keep the navbar from moving */
111 /* Trick to avoid the navbar hiding the the target of an # link */
115 background: #ffa; /* Highlight the jump target */
116 background-clip: content-box
;
128 list-style-type: none
;
129 background: #336 url
("nasmlogw.png") no-repeat right center
;
130 background-size: contain
;
140 border-right: 1px solid
#bbb;
145 text-decoration: none
;
148 background-color: #448;