2 background-color: white;
15 background-color: rgb(110,139,61);
16 color: rgb(255,236,176);
25 padding: 0em 2em 1em 2em;
29 background-color: rgb(110,139,61);
30 color: rgb(255,236,176);
31 padding-bottom: 0.3em;
47 background-color: tan;
54 border-top-width: thin;
72 border-top-width: thin;
86 font-family: monospace;