2 font-family: sans-serif;
7 h1, h2, h3, h4, h5, h6 {
38 border-collapse: collapse;
42 border: 1px solid #e0e0ff;
47 background-color: #f0f0ff;
54 background-color: #cccccc;
66 div.variable-declaration {
70 h3.section-variables {
76 background-color: #f0f0ff;
79 border: 1px solid #e0e0ff;
84 list-style-type: none;
94 background-color: #e0e0ff;
116 text-decoration: none;
122 text-decoration: none;
126 text-decoration:underline;