/* CSS placed here will affect users of the Vector skin */
#module { /* line-height: 1.5; */ h1 border:1px solid #00008B; padding:7px; border-radius:4px; /* font-weight:bold; */ background-color:#F8F8FF;} #code-module { /* line-height: 1.5; */ border:1px solid #00008B; padding:7px; border-radius:4px; /* font-weight:bold; */ background-color:#F8F8FF; font-family: Linux Libertinecourier, Georgiamono; font-size:12px;} #yellow-module { /* line-height: 1.5; */ border:1px solid black; padding:7px; border-radius:5px; /* font-weight:bold; */ background-color:#FFFFCC; /* font-family:courier, Timesmono; */} #blue-module { /* line-height: 1.5; */ border:1px solid black; padding:7px 7px 7px 7px; border-radius:4px; /* font-weight:bold; */ background-color:#F0FFF0; /* font-family:courier, serifmono;*/
}