body {font-family: courier,system,monospace !important; font-size: 10pt !important; color: #0f6}	
	.menu {color: #0f6}
	.basic {color: #0f6}
	.intro {color: #0f6; line-height: 150%}
	.highlight {color: #000; background: #0f6}
	.npl {color: #f93}
	.nplsmall {font-size: 10pt !important; color: #f93}
	.text {color: #0f6}

	code {font-family: courier,system,monospace !important; font-size: 10pt !important; color: #0f6}	
	code.menu {color: #0f6}
	code.basic {color: #0f6}
	code.intro {color: #0f6; line-height: 150%}
	code.highlight {color: #000; background: #0f6}
	code.npl {color: #f93 !important}
	code.nplsmall {font-size: 10pt !important; color: #f93}
	code.text {color: #0f6}
	
	a {font-family: courier,system,monospace !important; font-size: 10pt !important}
	a.menu:link {color: #0f6; background: #000; text-decoration: none !important}
	a.menu:visited {color: #0f6; background: #000; text-decoration: none !important}
	a.menu:active {color: #000; background: #0f6; text-decoration: none !important} 
	a.menu:hover {color: #000; background: #0f6; text-decoration: none !important}
	a.menucurrent:link {color: #000; background: #0f6; text-decoration: none !important}
	a.menucurrent:visited {color: #000; background: #0f6; text-decoration: none !important}
	a.menucurrent:active {color: #0f6; background: #000; text-decoration: none !important}
	a.npl:link {color: #f93; background: #000; text-decoration: none !important}
	a.npl:visited {color: #f93; background: #000; text-decoration: none !important}
	a.npl:active {color: #000; background: #f93; text-decoration: none !important} 
	a.npl:hover {color: #000; background: #f93; text-decoration: none !important}
	a.nplcurrent:link {color: #000; background: #0f6; text-decoration: none !important}
	a.nplcurrent:visited {color: #000; background: #f93; text-decoration: none !important}
	a.nplcurrent:active {color: #f93; background: #000; text-decoration: none !important}
	a.text:link {color: #0f6; background: #000; text-decoration: underline}
	a.text:visited {color: #0f6; background: #000; text-decoration: underline}
	a.text:active {color: #000; background: #0f6; text-decoration: underline} 
	a.text:hover {color: #000; background: #0f6; text-decoration: underline}