| /* 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; |
| } |