/**
 * @file
 * Styles for rendering the font in <pre> tags.
 */

pre {
    font-family: "Lucida Console", Monaco, monospace;
}