/* Modificaciones a Stardust para Denebola.org */

p {
line-height: 1.5em;
}

pre {
 border: 1px solid #D70606;
 background-color:#f4f4f4;
 padding: 2px 6px;
 width:100%;
}

.source-code {
        font-family: Courier, Courier New, Andale Mono, Lucida Console, Monaco, fixed, monospace;
        color: #000000;
        background-color: #eee;
        font-size: 14px;
        border: 1px dashed #999999;
        line-height: 16px;
        padding: 5px;
        overflow: auto;
        width: 100%
}
.source-out {
        font-family: Courier, Courier New, Andale Mono, Lucida Console, Monaco, fixed, monospace;
        color: #000000;
        background-color: #FFFFCC;
        font-size: 14px;
        border: 1px dashed #999999;
        line-height: 16px;
        padding: 5px;
        overflow: auto;
        width: 100%
}