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 display: inline-block; 33 border: 1px solid #dcdcdc; 34 padding: 1em; 35 margin: 0 2em; 36} 37.toctree-wrapper .caption, 38.toctree-wrapper .topic-title { font-weight: bold;} 39 40.footer 41{ 42 text-align: left; 43 font-size: 80%; 44} 45