1.syntax-container.syntax-theme-base ol.syntax {
2  background-color: #e3e3e3;
3  border: 1px solid #aaaaaa;
4  padding: 0 0 0 5em !important;
5  margin: 0 !important; }
6  .syntax-container.syntax-theme-base ol.syntax li {
7    padding: 0 !important;
8    margin: 0 !important;
9    color: #979797;
10    /* CSS2.1 */
11    white-space: pre-wrap;
12    /* Mozilla, since 1999 */
13    white-space: -moz-pre-wrap;
14    /* Opera 7 */
15    white-space: -o-pre-wrap;
16    /* Internet Explorer 5.5+ */
17    word-wrap: break-word;
18    _white-space: pre; }
19  .syntax-container.syntax-theme-base ol.syntax li div.source {
20    color: #333333;
21    margin-left: -0.5em;
22    border-left: 1px solid #aaaaaa;
23    background-color: #f0f0f0;
24    padding: 0 0.4em 0 !important; }
25  .syntax-container.syntax-theme-base ol.syntax li.alt div.source {
26    background-color: #f5f5f5; }
27.syntax-container.syntax-theme-base ul.syntax {
28  background-color: #e3e3e3;
29  border: 1px solid #aaaaaa;
30  padding: 0 !important;
31  margin: 0 !important;
32  list-style-type: none; }
33  .syntax-container.syntax-theme-base ul.syntax li {
34    padding: 0 !important;
35    margin: 0 !important;
36    /* CSS2.1 */
37    white-space: pre-wrap;
38    /* Mozilla, since 1999 */
39    white-space: -moz-pre-wrap;
40    /* Opera 7 */
41    white-space: -o-pre-wrap;
42    /* Internet Explorer 5.5+ */
43    word-wrap: break-word;
44    _white-space: pre; }
45  .syntax-container.syntax-theme-base ul.syntax li div.source {
46    margin: 0 !important;
47    color: #333333;
48    background-color: #f0f0f0;
49    padding: 0 0.4em 0 !important; }
50  .syntax-container.syntax-theme-base ul.syntax li.alt div.source {
51    background-color: #f5f5f5; }
52