/* h1 headings. */
h1 { font-size:20px; font-family:Arial, Helvetica, sans-serif; }
.level3 { color: black; }
.level2 { color: #000066; }

/* free/nonfree 
.nonfree { color: #000066; }
*/
/* currently useless */ 
span.abstract { font-size: smaller; }

/* that configures the space of the google links in parenthesis */
span.citations { font-size: smaller; }

/* class of the div that contains the search and ezproxy space in the current header */
.extra-header {}