/*
 * Stylesheet for the C source
 *
*/
pre		{ color: black; background-color: rgb( 240, 240, 250); font-weight: bold; border-width: thin; border-style: dotted; padding: 8px; overflow: auto !important; overflow: scroll;}
code		{ font-weight: bold; }
span.keyword	{ color: olive; }
span.type	{ color: green; }
span.comment	{ color: gray; }
span.char	{ color: fuchsia; }
span.string	{ color: fuchsia; }
span.number	{ color: maroon; }