/* Additional stylesheet for code listings */
pre.listing {
    background-color: black;
    color: silver;
    line-height: 1.1em !important;
    font-family: monospace;
    padding: 5px;
}

pre.listing span.startup {
    color: rgb(56, 101, 98);
}

pre.listing span.grep {
    background-color: rgb(134, 139, 19);
    color: black;
}

pre.listing span.command {
    color: white;
}

pre.listing span.bold {
    font-weight: bolder;
    color: white;
}

table.listing {
    border: 1px solid gray;
    width: 100%;
    border-collapse: collapse;
}

table.listing td {
    border: 1px solid gray;
    padding: 2px;
}