Lines Matching refs:src
11 div#src a.l, div#src a.hl {
15 div#src a.l:after, div#src a.hl:after {
19 div#src a.l.selected:after, div#src a.hl.selected:after {
351 #src {
354 #src pre {
377 #src .hl { /* highlighted line number */
390 #src .n { /* numbers/label */ color: #a52a2a; }
391 #src .s { /* strings */ color: green; }
392 #src .c { /* comment */ color: #666; }
393 #src .b { /* heading/title/bold */ color: #000; font-weight: bold; }
394 #src .k { /* block display */ color: #000; font-family: monospace; }
395 #src a.d { /* symbol definition */ color: #909; font-weight: bold; }
417 #man table, #man td { /* #man == troff src */