/* ::::: http://sebsauvage.net/basic.css ::::: */

.t { font-family: Verdana,"DejaVu Sans","Bitstream Vera Sans Mono",Helvetica,sans-serif; font-size: 10pt; }
.s { font-family: Verdana,"DejaVu Sans","Bitstream Vera Sans Mono",Helvetica,sans-serif; font-size: 7pt; }
.comptitle { font-family: Verdana,"DejaVu Sans","Bitstream Vera Sans Mono",Helvetica,sans-serif; font-size: 16pt; font-weight: bold; }
.t3 { border: 1px solid rgb(0, 0, 0); background-color: rgb(196, 230, 240); }
a { color: rgb(52, 70, 88); }
a:visited { color: rgb(108, 134, 160); }