style.less

body > .container-fluid {
  padding-top: 70px;
}

h2, h4 {
  border-top:1px dotted #ccc;
  padding-top:10px;
}

h2 {
  padding-left: 20px;
}

a.glyphicon {
  position: relative;
  top: 60px;
}

a[name] {
  position: absolute;
}

h5 {
  color:#555;
}

dd {
  padding: 10px 20px;
}

pre {
  margin: 10px 0;
}

.copy {
  position:absolute;
  top:-1000px;
  left:-1000px;
  height:0;
  width:0;
}

.lcflag {
  border-left: 8px solid #aaf;
  padding: 0 5px;
  margin-right: 10px;
  background: #eef;
}

.result {
  background:#efe;
}

.different {
  background:#ffd;
}
.error {
  background:#fdd;
}

.pager {
  border-top:1px solid #aaa;
  padding-top:30px;
}

.hbonly {
  color: #800;
}

.perfalert {
  color: #c00;
}

.helperhint {
  color: #600;
}

p.note {
  color: #006;
}

.lcsample p.note {
  font-weight: 900;
  border-top: 1px dotted #eee;
  padding-top: 10px;
}

.partials {
  width:100%;
  background:#eff;
  tr:nth-child(odd) {
    background:#eef;
  }
  td, th {
    padding:3px 5px;
  }
  th {
    text-align:right;
    width:25%;
  }
  td {
    background:rgba(255,255,255,0.5);
    white-space: pre;
    word-break: break-all;
    word-wrap: break-word;
  }
}

.search {
  min-height: 200px;
  * {
    box-sizing: content-box;
  }
  .gsc-input-box-focus {
    box-shadow: 0 0 3px #00f;
  }
}

.footer {
  text-align: center;
  font-size: 11px;
  color: #444;
}

.navbar label {
  font-weight: normal;
  margin: 0;
  cursor: pointer;
  display: block;
}

@media (max-width: 768px) {
  .navbar-fixed-top {
    position:relative;
  }
  body > .container-fluid {
    padding-top: 0px;
  }
}

@media (min-width: 768px) {
  .dropdown-menu {
    overflow-y: auto;
    max-height: 200px;
  }

  @media (min-height: 600px) {
    .dropdown-menu {
      max-height: 520px;
    }
  }

  @media (min-height: 700px) {
    .dropdown-menu {
      max-height: 620px;
    }
  }

  @media (min-height: 800px) {
    .dropdown-menu {
      max-height: 720px;
    }
  }

  @media (min-height: 900px) {
    .dropdown-menu {
      max-height: 820px;
    }
  }

  @media (min-height: 1000px) {
    .dropdown-menu {
      max-height: 920px;
    }
  }

  @media (min-height: 1200px) {
    .dropdown-menu {
      max-height: 1120px;
    }
  }

  @media (min-height: 1400px) {
    .dropdown-menu {
      max-height: 1320px;
    }
  }

  @media (min-height: 2000px) {
    .dropdown-menu {
      max-height: 1920px;
    }
  }
}