.str
{
    color:#080
}
.kwd
{
    color:#008
}
.com
{
    color:#800}
.typ
{
    color:#606}
.lit
{
    color:#066}
.pun
{
    color:#660}
.pln
{
    color:#000}
.tag
{
    color:#008}
.atn
{
    color:#606}
.atv
{
    color:#080}
.dec
{
    color:#606}
pre.prettyprint
{
    padding:2px;border:1px solid #888}
@media print
{
    .str
    {
        color:#060}
    .kwd
    {
        color:#006;font-weight:bold}
    .com
    {
        color:#600;font-style:italic}
    .typ
    {
        color:#404;font-weight:bold}
    .lit
    {
        color:#044}
    .pun
    {
        color:#440}
    .pln
    {
        color:#000}
    .tag
    {
        color:#006;font-weight:bold}
    .atn{color:#404}
    .atv{color:#060}
}