/*
 * @(#)$Id$
 */

/*
 * The "verbatim" class is typically used for code blocks
 * rendered with "pre". It provides a shaded background 
 * with  a slightly darker border.
 */

.verbatim, .code {
    border: 1px solid rgb(169, 169, 169);
    background-color: rgb(211, 211, 211);
    color: black;
    padding: 0.5em 1em;
}

.verbatim {
    margin-top: 1em 0px;
}


/*
 * The "code" class does the same as "verbatim", except
 * that it also indents the paragraph. This behaves very
 * much as a "<blockquote><pre>" combo.
 */
.code {
    margin: 1em 40px;
}


/*
 * Our "pre" and "kbd" styles. Note that it doesn't set the border or
 * background, as in the "verbatim" class, since we may want
 * to have other flavours of "pre" blocks.
 */
pre, kbd {
    font-size: 90%;
    font-family: monospace,courier-new,courier,fixed;
    white-space: pre;
}