h2.sub-header {
    padding-top:20px;
}

nav.navbar,
#footer {
    background-color: rgb(23, 41, 82);
}

p code {
    /**background-color:#000;*/
    /**color:#FFF;*/
    font-weight:bold;
    padding:0.25 em;
    font-style:italic;
}

.dl-horizontal dd {
    margin-bottom: 0.15em;
}


table.table-parameter tr td.resource {
    width: 15%;
}

table.table-parameter tr td.type {
    width: 10em;
}

table.table-parameter tr td.additional {
    width: 10em;
}


dl.playlist-definition {
    padding-left:1.5em;
}
dl.playlist-definition dt code {
    background: inherit;
}
dl.playlist-definition dd {
    padding-left: 1em;
    padding-bottom: 0.75em;
}