1/************************/ 2/* GENERAL */ 3/************************/ 4 5body { 6 color: #1e1e1e; 7} 8 9h1, h2, h3, h4, h5, h6, p, a, li, span, blockquote, input, textarea, select, label { 10 font-family: 'Roboto', sans-serif; 11} 12 13p { 14/* font-size: 16px; 15 line-height: 25px; 16 margin-bottom: 20px;*/ 17} 18 19a { 20 text-decoration: none; 21 color: inherit; 22} 23 24 25/* Sidebar */ 26#top { 27 background-color: #F5F5F5; 28 width: 275px; 29 position: fixed; 30 top: 0; 31 bottom: 0; 32 left: 0; 33 height: auto !important; 34 overflow: auto; 35 padding: 25px; 36 box-sizing: border-box; 37 display: flex; 38 flex-direction: column; 39} 40@media (max-width: 1012px) { 41 #top { 42 box-shadow: 5px 0px 10px 0px rgba(0,0,0,0.25); 43 position: fixed; 44 z-index: 9999; 45 left: -100%; 46 width: 450px; 47 background-color: #F5F5F5; 48 transition: 0.2s left; 49 } 50} 51@media (max-width: 767px) { 52 #top { 53 width: calc(100% - 50px); 54 padding: 20px; 55 } 56} 57@media (max-width: 1012px) { 58 #top.open { 59 left: 0; 60 } 61} 62 63 64/* Content */ 65#doc-content { 66 padding: 25px 50px 25px 290px; 67 margin: 0 !important; 68 height: auto !important; 69} 70@media (max-width: 1012px) { 71 #doc-content { 72 padding: 110px 40px 40px 40px; 73 } 74} 75@media (max-width: 767px) { 76 #doc-content { 77 padding: 90px 20px 50px 20px; 78 } 79} 80 81 82/* Hide the default doxygen stuff that we dont want */ 83.ui-resizable-handle { 84 display: none !important; 85} 86#nav-sync { 87 display: none !important; 88} 89#nav-tree { 90 height: 100% !important; 91 background: none; 92 overflow: auto; 93 padding: 35px; 94 box-sizing: border-box; 95} 96#nav-path, #side-nav { 97 display: none !important; 98} 99 100div.line, 101div.line a, 102div.line span { 103 font-family: monospace; 104} 105 106