web/docs/main.css

   1 /************************/
   2 /*       GENERAL        */
   3 /************************/
   4
   5 body {
   6     color: #1e1e1e;
   7 }
   8
   9 h1, h2, h3, h4, h5, h6, p, a, li, span, blockquote, input, textarea, select, label {
  10     font-family: 'Roboto', sans-serif;
  11 }
  12
  13 p {
  14 /*    font-size: 16px;
  15     line-height: 25px;
  16     margin-bottom: 20px;*/
  17 }
  18
  19 a {
  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
 100 div.line,
 101 div.line a,
 102 div.line span {
 103         font-family: monospace;
 104 }
 105