body				{color: #999999; background-color: #1a1a1a; font-family: Helvetica, Verdana, sans-serif;}
a:link				{color: #0fffff;}
a:visited			{color: #666644;}
a:active			{color: #6666ff;}
a:hover				{color: #ff0000;}
a.summary-letter		{text-decoration: none;}
div.display			{margin-left: 3.2em;}
div.example			{margin-left: 3.2em;}
div.lisp			{margin-left: 3.2em;}
div.smalldisplay		{margin-left: 3.2em;}
div.smallexample		{margin-left: 3.2em;}
div.smalllisp			{margin-left: 3.2em;}
span.nocodebreak		{white-space: nowrap;}
span.nolinebreak		{white-space: nowrap;}
span.roman			{font-family: serif; font-weight: normal;}
span.sansserif			{font-family: sans-serif; font-weight: normal;}
pre.display			{font-family: serif;}
pre.format			{font-family: serif;}
pre.menu-comment		{font-family: serif;}
pre.menu-preformatted		{font-family: serif;}
pre.smallexample		{font-size: smaller;}
pre.smalllisp			{font-size: smaller;}
pre.smalldisplay		{font-family: serif; font-size: smaller;}
pre.smallformat			{font-family: serif; font-size: smaller;}
pre.example			{background-color: #000000; color: #00ff00; padding: 2px;}
samp				{background-color: #000000; color: #ffa500; padding: 2px;}
code				{background-color: #000000; color: #00ff00; padding: 2px;}
var				{background-color: #000000; color: #ffff44; padding: 2px;}
blockquote.smallquotation	{font-size: smaller;}
kbd				{font-style: oblique; font-weight: bolder; color: #ffff44;}
ul.no-bullet			{list-style: none;}