A.important:link    { COLOR: #FF0000; TEXT-DECORATION: underline;}
A.important:visited {	COLOR: #FF0000; TEXT-DECORATION: underline;}
A.important:active  { COLOR: #FF0000; TEXT-DECORATION: underline;}
A.important:hover   { COLOR: #000000; TEXT-DECORATION: underline;}

A.default:link      { COLOR: #0000ff; TEXT-DECORATION: underline;}
A.default:visited   { COLOR: #0000ff; TEXT-DECORATION: underline;}
A.default:active    { COLOR: #0000ff; TEXT-DECORATION: underline;}
A.default:hover     { COLOR: #ff00ff; TEXT-DECORATION: underline;}

div.main { font-size: 1.2em; color:#555555;}
div.first  { text-indent:0em; font-weight:bold;}
div.second { text-indent:1em; font-size:small; margin:1px;}
div.third  { text-indent:2em; font-size:small; margin:1px,2px;}
div.ex { text-indent:2em; font-size:small; color:#000066; font-weight:bold;}
div.sub_title { text-indent:0em; font-weight:bold; color:#666666;}
pre.source { font-size: 10pt;  background-color: #eeeeee; padding:3px;}
pre.shell  { font-size: 10pt;  background-color: #000000; padding:3px; color:#ffffff}
p { font-size: 1.2em; font-weight:bold;}