/* TC: Formats D_CODE */
.d_code
{
    font-family: "Courier New", monospace;
    background: #D4D4D4;
    border-radius: 4px;
    padding: 1ex;
    margin: 1em 0 1em 0;
    line-height: normal;
    border: 1px solid #000099;
    width: auto;
}

/* TC: Formats D / D_INLINECODE */
.d_inlinecode
{
    font-weight: bold;
    background: #D4D4D4;
}

/* SPAN: Formats D_COMMENT */
.d_comment
{
    color: green;
}

/* SPAN: Formats D_KEYWORD */
.d_keyword
{
    color: blue;
}

/* SPAN: Formats D_PARAM */
.d_param
{
}

/* SPAN: Formats D_PSYMBOL */
.d_psymbol
{
    font-style: italic;
    color: #006F14;
}

/* SPAN: Formats D_STRING */
.d_string
{
    color: red;
}

/* DIV: Formats DDOC_BLANKLINE */
.ddoc_blankline
{
    margin: 1em 0;
}