1 

     2 body

     3 {

     4     background-color: #444;

     5     font: 11px/1.8em sans-serif;

     6     margin: 0;

     7     padding-bottom: 50px;

     8     color: #ccc;

     9 }

    10 

    11 a, a:visited

    12 {

    13     text-decoration: none;

    14     color: #7f9ab5;

    15 }

    16 

    17 .header

    18 {

    19     background-color: #aaa;

    20     padding: 3px 0 3px 120px;

    21     margin-top: 50px;

    22     color: #3a5f85;

    23     border-top: 5px solid #333;

    24     font-size: 20px;

    25     font-weight: bold;

    26 }

    27 

    28 .last_mod

    29 {

    30     padding-left: 120px;

    31     background-color: #333;

    32     border-bottom: 1px solid #000;

    33     font-size: 0.85em;

    34     color: #999;

    35 }

    36 

    37 .percent

    38 {

    39     display: none;

    40     color: #7f9ab5;

    41     font-weight: bold;

    42     position: absolute;

    43     left: 115px;

    44 }

    45 

    46 .linenum

    47 {

    48     color: #7f9ab5;

    49     position: absolute;

    50     left: 0;

    51     font-size: 9px;

    52     font-weight: normal;

    53     font-style: normal;

    54     width: 60px;

    55     text-align: right;

    56 }

    57 

    58 .linenum-folded

    59 {

    60     color: #666;

    61 }

    62 

    63 .timer

    64 {

    65     color: #666;

    66     position: absolute;

    67     top: 5px;

    68     right: 10px;

    69 }

    70 

    71 .outline

    72 {

    73     width: 400px;

    74     margin: 20px 0 0 150px;

    75     display: none;

    76     cursor: pointer;

    77 }

    78 

    79 .outline ul

    80 {

    81     margin: 0;

    82     padding: 0 10px 0 5px;

    83     list-style-type: none;

    84 }

    85 

    86 .outline ul li

    87 {

    88     padding: 0 0 0 10px;

    89     display: block;

    90     color: #fff;

    91     font-size: 14px;

    92     font-weight: bold;

    93 }

    94 

    95 .outline ul li:hover

    96 {

    97     color: #fff;

    98 }

    99 

   100 .outline ul li ul li

   101 {

   102     border-left: 1px solid #666;

   103     color: #ccc;

   104     font-size: 11px;

   105     font-weight: normal;

   106 }

   107 

   108 .outline ul li ul li:hover

   109 {

   110     border-left: 1px solid #aaa;

   111 }

   112 

   113 .done

   114 {

   115     color: #777 !important;

   116     font-style: italic;

   117 }

   118 

   119 .done:after

   120 {

   121     font-size: 0.9em;

   122     content: " (done)";

   123 }

   124 

   125 .comment

   126 {

   127     padding-right: 2px !important;

   128     font-style: italic;

   129     border-top: 1px solid #666;

   130     border-bottom: 1px solid #666;

   131     border-right: 1px solid #666;

   132 }

   133 

   134 .comment:hover

   135 {

   136     border-top: 1px solid #aaa;

   137     border-bottom: 1px solid #aaa;

   138     border-right: 1px solid #aaa;

   139 }

   140 

   141 .selected

   142 {

   143     background-color: #3d3d3d;

   144 }

   145