/* -*-css-*- */

/* -- Comment paragraph ---------------------------------------------------- */

.comment {
    background-color: #EEE;
    padding-top: 4px;
    padding-bottom: 6px;
    padding-left: 8px;
    padding-right: 8px;
    font-size: 12pt;
}

.comment em {
    font-size: 12pt;
}

/* ------------------------------------------------------------------------- */