/* darktide.css */


/* normal global text: Verdana 13pt, white */
body { font-family:Verdana,Helvetica,Arial,sans-serif; font-size:13pt; color:#FFFFFF }

/* for navigation bars: Times New Roman 10pt, red */
body.nav { font-family:Verdana,Helvetica,Arial,sans-serif; font-size:10pt; color:#C51610 }

/* for navigation bars: Times New Roman 10pt, white */
body.comment { font-family:Verdana,Helvetica,Arial,sans-serif; font-size:10pt; color:#FFFFFF }


/* in tables: a little bit smaller */
td { font-size:10pt }

/* however, if a different standard size is needed (e.g for text): */
td.text { font-size:13pt }

/* preformatted text: Courier New 12pt, blueish white, bold */
pre { font-family:"Courier New",monospace; font-size:12pt; font-weight:bold; color:#EEEEFF; }


/* main headlines, the big bold blue ones */
h1 { font-size:20pt; font-weight:bold; color:#DDDDFF; }

/* sub headlines, a bit smaller, bold, red */
h2 { font-size:18pt; font-weight:bold; color:#DDDDFF; }

/* sub headlines, a bit smaller, bold and blue */
h3 { font-size:15pt; font-weight:bold; color:#DDDDFF; }

/* even more sub headlines, bold */
h4 { font-size:12pt; font-weight:bold; color:#DDDDFF; }
h5 { font-size:10pt; font-weight:bold; color:#DDDDFF; }

/* too tiny to mention : ) */
h6 { font-size:8pt; font-weight:normal; color:#DDDDFF; }

/* not exactly a headline */
b.h { font-weight:bold; color:#DDDDFF; }
/* as above but blue */
b.b { font-weight:bold; color:#DDDDFF; }

/* again, but now for whole paragraphs */
p.h { font-weight:bold; color:#DDDDFF; }
/* same again, but not bold (just highlighted)*/
p.hl { color:#DDDDFF; }

/* for notes */
p.note { font-size:10pt }

i.info { font-size:8pt; font-weight:bold; color:#EEEEFF; }
i.note { font-size:8pt; color:#EEEEFF; }

/* links */
a:link    { color:#66AA66; text-decoration:underline; }
a:visited { color:#229922; text-decoration:underline; }
a:active  { color:#22FF33; text-decoration:none; }
/*
a:link    { color:#0066FF; text-decoration:underline; }
a:visited { color:#FF9933; text-decoration:underline; }
a:active  { color:#00FFFF; text-decoration:none; }
*/