docs/ns3_html_theme/static/ns3_stylesheet.css

/* ns-3 changes to the default CSS from Doxygen and Sphinx */

body, table, div, p, dl {
    font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
    font-size: 12px;
    color: black;
}

a {
    color: #91A501;
    font-weight: bold;
}

a:visited {
    color: #91A501;
    font-weight: bold;
}

/* Sphinx headings */
div.body h1,
div.body h2,
div.body h3,
div.body h4,
div.body h5,
div.body h6 {
    background-image: url('nav_f.png');
}

/* Doxygen side bar */
#nav-tree {
    font-size: 12px;
}

#nav-tree a {
    font-weight: normal;
}

/* Sphinx nav links bar (relbar) */
div.related {
    background-image:url('tab_b.png')
}

div.related h3 {
    display: none;
}

div.related a {
    color: #91A501;
    font-size: 14px;
    font-weight: bold;
}

div.related li {
    background-image: url('bc_s.png');
    background-position: 100% 40%;
    background-repeat: no-repeat;
    padding-left: 10px;
    padding-right: 15px;
}

div.related li.right {
    background-image: none;
    padding-left: 0px;
    padding-right: 0px;
}

/* Sphinx side bar */
div.sphinxsidebar {
    font-size: 12px;
}

div.sphinxsidebar a {
    font-weight: normal;
}


/* Title bar elements */

#titlearea
{
    background-image:url('bar-top.png');
    background-repeat:repeat;
    border-bottom: 1px solid #5B5B5B;
    color: white;
}

#projectlogo
{
    text-align: center;
    margin: 10px;
    vertical-align: middle;
    width: 220px;
    color: white;
}

#projecttext
{
        align: left;
        padding-left: 2em;
        font-color:white;
}

#projectbrief
{
    font: 120% Tahoma, Arial,sans-serif;
    margin: 0px;
    padding: 0px;
    color: white;
}

#projectnumber
{
    font: 100% Tahoma, Arial,sans-serif;
    margin: 0px;
    padding: 0px;
    color: white;
}

#projectsection
{
    text-align: right;
    font: 24pt  Aldo, Tahoma, Arial,sans-serif;
    margin: 10px;
    margin-right: 10px;
    vertical-align: middle;
    color: white;
}

.highlight .hll {
	background-color: #FFFF88;
}

.red {
    color: red;
    font-weight: bold;
}