2 font-family: "source sans pro", "clear sans", "liberation sans",
20 font-family: "source code pro", "liberation mono", "monospace";
32 text-decoration: none
;
39 list-style-type: none
;
53 list-style-type: none
;
67 -webkit-column-gap: 4em;
68 -webkit-column-rule: 1px dotted black
;
70 -moz-column-rule: 1px dotted black
;
72 column-rule: 1px dotted black
;
75 @media only screen and
(min-width: 90em) {
76 /* For a very wide screen, go to a columnar layout */
78 -webkit-column-count: 2;
83 @media only screen and
(min-width: 135em) {
85 -webkit-column-count: 3;
91 /* Setting an explicit margin to keep the navbar from moving */
112 /* Trick to avoid the navbar hiding the the target of an # link */
116 background: #ffa; /* Highlight the jump target */
117 background-clip: content-box
;
129 list-style-type: none
;
130 background: #336 url
("nasmlogw.png") no-repeat right center
;
131 background-size: contain
;
141 border-right: 1px solid
#bbb;
146 text-decoration: none
;
149 background-color: #448;