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 div.variable-description {
74 h3.section-variables {
84 background-color: #f0f0ff;
87 border: 1px solid #e0e0ff;
92 list-style-type: none;
102 background-color: #e0e0ff;
124 text-decoration: none;
130 text-decoration: none;
134 text-decoration:underline;