a.menu {text-decoration: none; font-family: arial, sans-serif; color: orange; font-weight: bold;  font-size: 13px}
a.menu:hover {color: black}
a.menu:visited {color: lightblue}

a.link_ext {text-decoration: none; color: orange}
a.link_ext:hover{color: white; text-decoration: underline}
a.link_ext:visited {color: #aaaaaa }

a.link_int {text-decoration: none; color: yellow}
a.link_int:hover{text-decoration: underline}
a.link_int:visited {color: orange }

/* define comprehensively default font family and colour, esp for NS 4.x */
body, div, .txt { color: navajowhite; font-family: "Comic Sans MS", verdana, cursive}

body {background: url("images/bfs_bg.jpg") fixed black no-repeat}

h1 {color: orange; font-family: "Comic Sans MS", verdana, cursive}

hr.filled {color: darkred; background-color: darkred; border: 0}

td.menu {background-color: darkred; text-align: center}

p.theme, span.theme 
	{ color: navajowhite; 
	  font-family: Arial, Helvetica, sans-serif; 
	  font-weight: bold;  
	  font-size: 12px;
	  text-indent: 50px}
ul.theme 
	{ color: navajowhite; 
	  font-family: Arial, Helvetica, sans-serif; 
	  font-weight: bold;  
	  font-size: 12px}