1  :target { background: #DEF !important;  }
 2  tt { font-family: monospace !important; }
 3  pre { font-family: monospace !important; }
 4  h1, h2 { background: #c0c0f0; }
 5  h1, h2, h3, h4, h5 { border-bottom: 2px solid #8080c0; color: black; }
 6  div.nav { float: right; background: #ffffff; }
 7  dt { font-weight: bold; }
 8  pre { margin-left: 4ex; auto; color: black; padding: 1ex; }
 9  div.float { text-align: center; margin: 2ex; padding: 1ex; }
10  div.float span.caption { display: block; margin: 1em; }
11  .typewriter { font-family: monospace; }
12  table { border-collapse: collapse; margin-left: auto; margin-right: auto; }
13  .alignment_center { text-align: center; }
14  .topline { border-top: 1px solid black; }
15  .bottomline { border-bottom: 1px solid black; }
16  .leftline { border-left: 1px solid black; }
17  .rightline { border-right: 1px solid black; }
18  .v_top { vertical-align: baseline; }
19  .a_center { text-align: center; }
20  .a_left { text-align: left; }
21  .a_right { text-align: right; }
22  .block { display: block }
23  .blockformula { display: block; text-align: center }
24  .f_typewriter { font-family: monospace; }
25  .noun { font-variant: small-caps; }
26  .s_bold { font-weight: bold; }
27  .clist { -moz-column-width: 40ex; -moz-column-gap: 4ex }
28  .nclist { -moz-column-width: 20ex; -moz-column-gap: 4ex }
29   .nclist li { list-style-type: none; text-indent: -.5ex; }
30  .toc li { list-style-type: none; }
31  .toc li a { display: block; border: 1px solid transparent; text-indent: -1ex; }
32  
33  /* AsciiDoc stuff */
34  div.note {
35  	padding-left: 0.5em;
36  	border-left: 3px solid #c0c0f0;
37  }