3 background-color: #E0E0E0;
8 background-color: white;
24 background-color: #FFEEBB;
25 padding-bottom: 0.2em;
31 background-color: #FFFFCC;
37 background-color: #FFFFEE;
45 background-color: #FFFAF0;
55 background-color: #E8E8E8;
58 padding-bottom: 0.5em;
63 font-family: monospace;