body {
  padding-top: 50px;
  padding-bottom: 30px;
  
  /* Margin bottom by footer height */
  margin-bottom: 60px;
}

.theme-showcase .navbar .container {
  width: auto;
}

html {
  position: relative;
  min-height: 100%;
}
body {

}
.footer {
  position: absolute;
  bottom: 0;
  width: 100%;
  height: 60px;
  background-image: linear-gradient(to bottom,#343754 0,#292a31 100%);
  /*background-color: #000000;*/
}

a:hover {text-decoration: none}
a:visited {text-decoration: none}
a:active {text-decoration: none}

/* Make anchor links not get the target hidden by the navbar */
h3 {position:relative;}
h3 span {position:absolute; top:-80px}
h4 {position:relative;}
h4 span {position:absolute; top:-80px}

code {display: block; font-family: monospace; background-color: #d6ebf2; color: #52527a; padding: 4px; padding-left: 12px;}
codeinline {font-family: monospace; background-color: #ffffff; color: #52527a;}
/*.code {display: block; font-family: monospace; background-color: #fffefa; border: 1px solid #e1e4e5; padding: 12px}*/

.visualizationcell {
  min-width:60px;
}
.visualizationcell:hover {background-color:#ffdba8;}

.modal {overflow: hidden; right:auto; bottom: auto;}
.modal-dialog {margin-right: 0; margin-left: 0; margin: 13px 13px;width: auto;}
.modal-header {padding: 5px;}
.modal-body {padding: 0px;}
.nav-pills > li + li {
  margin-left: 0px;
}

.tt {font-family:'Lucida Console', monospace;}

ul {
    margin-top: -6px;
}


.navbar-nav > li > a {
  padding-left: 11px;
  padding-right: 11px;
}

.navbar-inverse {
  background-color: #3d478e;
  border-color: #242952;
  background-image: linear-gradient(to bottom,#343754 0,#292a31 100%);
}
.navbar-inverse .navbar-brand {
  color: #d2e1e5;
}
.navbar-inverse .navbar-brand:hover,
.navbar-inverse .navbar-brand:focus {
  color: #ffffff;
}
.navbar-inverse .navbar-text {
  color: #d2e1e5;
}
.navbar-inverse .navbar-nav > li > a {
  color: #d2e1e5;
}
.navbar-inverse .navbar-nav > li > a:hover,
.navbar-inverse .navbar-nav > li > a:focus {
  color: #ffffff;
}
.navbar-inverse .navbar-nav > .active > a,
.navbar-inverse .navbar-nav > .active > a:hover,
.navbar-inverse .navbar-nav > .active > a:focus {
  color: #ffffff;
  background-color: #242952;
}
.navbar-inverse .navbar-nav > .open > a,
.navbar-inverse .navbar-nav > .open > a:hover,
.navbar-inverse .navbar-nav > .open > a:focus {
  color: #ffffff;
  background-color: #242952;
}
.navbar-inverse .navbar-toggle {
  border-color: #242952;
}
.navbar-inverse .navbar-toggle:hover,
.navbar-inverse .navbar-toggle:focus {
  background-color: #242952;
}
.navbar-inverse .navbar-toggle .icon-bar {
  background-color: #d2e1e5;
}
.navbar-inverse .navbar-collapse,
.navbar-inverse .navbar-form {
  border-color: #d2e1e5;
}
.navbar-inverse .navbar-link {
  color: #d2e1e5;
}
.navbar-inverse .navbar-link:hover {
  color: #ffffff;
}

@media (max-width: 767px) {
  .navbar-inverse .navbar-nav .open .dropdown-menu > li > a {
    color: #d2e1e5;
  }
  .navbar-inverse .navbar-nav .open .dropdown-menu > li > a:hover,
  .navbar-inverse .navbar-nav .open .dropdown-menu > li > a:focus {
    color: #ffffff;
  }
  .navbar-inverse .navbar-nav .open .dropdown-menu > .active > a,
  .navbar-inverse .navbar-nav .open .dropdown-menu > .active > a:hover,
  .navbar-inverse .navbar-nav .open .dropdown-menu > .active > a:focus {
    color: #ffffff;
    background-color: #242952;
  }
}