docs/site.css

   1 body {
   2   padding-top: 100px;  /* required for fixed header */
   3 }
   4 #header {
   5   background: #f9f9f9;
   6   margin-bottom: 10px;
   7   border-bottom: 1px solid lightgray;
   8 }
   9 .navbar-brand {
  10   padding-top: 0;
  11   padding-bottom: 0;
  12 }
  13 .navbar-brand a, navbar-brand a:visited {
  14   color: black;
  15   font-size: 38px;
  16 }
  17 .navbar-brand a:hover {
  18   text-decoration: none;
  19 }
  20 #header ul.nav {
  21   display: inline-block;
  22 }
  23 #header ul.nav {
  24   float: right;
  25   margin-top: 20px;
  26   margin-right: 20px;
  27 }
  28 @media screen and (min-width: 992px) {
  29   /* without this, the right-most menu goes off the page */
  30   #header ul.nav {
  31     margin-right: 75px;
  32   }
  33 }
  34 @media screen and (min-width: 768px) and (max-width: 992px) {
  35   /* The topnav drops down to the next line between these sizes. We must accomodate. */
  36   body {
  37     padding-top: 130px;
  38   }
  39   /* center the menu and logo */
  40   .navbar-brand {
  41     float: none;
  42     text-align: center;
  43     max-width: none;
  44   }
  45   #header ul.nav {
  46     float: none;
  47     display: table;  /* shrink to fit */
  48     margin-left: auto;  /* center */
  49     margin-right: auto;
  50   }
  51 }
  52 @media screen and (max-width: 768px) {
  53   #header .nav-collapse.in li, #header .nav-collapse.collapsing li {
  54     float: none;
  55   }
  56   #header .nav-collapse.in .nav, #header .nav-collapse.collapsing .nav {
  57     float: none;
  58   }
  59 }
  60 code {
  61   white-space: pre-wrap;
  62   color: black;
  63   background: transparent;
  64 }
  65 #demodiv {
  66   width: 100%;
  67   height: 320px;
  68   margin-bottom: 10px;
  69 }
  70 @media screen and (max-width: 768px) {
  71   /* aspect ratio is weird on phones */
  72   #demodiv {
  73     height: 200px;
  74   }
  75 }
  76 .dygraph-axis-label {
  77   font-size: 12px;
  78 }
  79 .dygraph-title {
  80   font-size: 16px;
  81 }
  82 h1{
  83   margin-top: 20px;
  84   margin-bottom: 20px;
  85 }
  86 pre{
  87   background: #f9f9f9;
  88 }
  89 /*
  90 #main {
  91   margin-top: 30px;
  92 }
  93 .row {
  94   margin-top: 30px;
  95 }
  96 */
  97 .row.smalltop {
  98   margin-top: 10px;
  99 }
 100
 101 /* maybe just used on annotations.html ? */
 102 .thinborder {
 103   border-width: 1px;
 104   border-spacing: 0px;
 105   border-style: solid;
 106   border-color: black;
 107   border-collapse: collapse;
 108 }
 109
 110 .thinborder td,
 111 .thinborder th {
 112   border-width: 1px;
 113   padding: 5px;
 114   border-style: solid;
 115   border-color: black;
 116 }
 117
 118 #current-release {
 119   font-size: 18px;
 120   background: #f9f9f9;
 121   /*
 122   padding: 10px 15px;
 123   border: 1px dashed black;
 124 */
 125   display: table;
 126   margin-bottom: 50px;
 127 }
 128 #current-release p:last-child {
 129   margin-bottom: 0;
 130 }
 131
 132 /* When you visit dygraphs.com/options.html#errorBars, the fixed top nav
 133  * obscures the top 100px of content for that anchor. This is a workaround.
 134  * See http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
 135  */
 136 a[name] {
 137   padding-top: 100px;  /* matches body { padding-top } */
 138   margin-top: -100px;  /* matches body { padding-top } */
 139   display: inline-block; /* required for webkit browsers */
 140 }
 141 @media screen and (min-width: 768px) and (max-width: 992px) {
 142   a[name] {
 143     padding-top: 130px;  /* matches body { padding-top } */
 144     margin-top: -130px;  /* matches body { padding-top } */
 145     display: inline-block; /* required for webkit browsers */
 146   }
 147 }