1@import url(boost.css); 2 3.header h1 a 4{ 5 color: #00507f; 6 font-size: 200%; 7 font-style: italic; 8} 9.header h3 { margin: 1px;} 10#contents 11{ 12/* border-bottom: solid thin black;*/ 13} 14 15.highlight 16{ 17 border: 1px solid #dcdcdc; 18 background-color: inherit; 19 padding: 0 1em; 20 margin: 0 5em; 21} 22#searchbox 23{ 24 float: right; 25 width: auto; 26 margin: 0 2em; 27} 28 29.admonition-title { font-weight: bold;} 30.toctree-wrapper 31{ 32 border: 1px solid #dcdcdc; 33 padding: 1em; 34 margin: 0 2em; 35} 36.toctree-wrapper .caption, 37.toctree-wrapper .topic-title { font-weight: bold;} 38 39