body {
  position: relative;
}
#keyboard-shortcuts th,
#keyboard-shortcuts td {
  border:none;
  color: rgba(0,0,0,.65);
}
#bd-docs-nav {
  max-height: 100vh;
}
#bd-docs-nav .nav-pills .nav-link {
  -webkit-border-radius: 0;
  -moz-border-radius: 0;
  border-radius: 0;
}
.bd-sidebar .nav>li>.nav-h1 {
  font-size: 1rem;
}
.bd-sidebar .nav>li>.nav-h2 {
  padding-left: 1.5rem;
}
.bd-sidebar .nav>li>.nav-h3 {
  padding-left: 2.5rem;
}
.bd-sidebar .nav>li>.nav-h4 {
  padding-left: 3.5rem;
}
.bd-content h2,
.bd-content h3,
.bd-content h4 {
  margin-bottom: 1.5rem;
}
.roofpig { 
  float: left;
  width: 250px; 
  height: 302px;
  margin: 0px 20px 20px 0px;
}
.roofpig-150 {
  float: left;
  width: 150px; 
  height: 202px;
  margin: 0px 20px 20px 0px;
}
.roofpig-180 {
  float: left;
  width: 180px; 
  height: 202px;
  margin: 0px 20px 20px 0px;
}
.roofpig-help-button {
  display: none;
}
.alg {
  margin-bottom: 0px;
}
.name {
  margin-bottom: 0px;
  font-weight: bold;
}
.green {
  color: green
}
.red {
  color: red
}

p    {margin-top: 20px;}
h1   {margin-top: 100px;}
h2   {margin-top: 70px;}
h3   {margin-top: 50px;}