html {
  position: relative;
  min-height: 100%;
}
body {
  padding-top: 70px;
  margin-bottom: 60px;
}
.wrapper {
  min-height: 100%;
  height: auto !important;
  margin: 0 auto auto auto;
  padding-bottom: 30px;
}
.footer, .push {
  height: 60px; /* .push must be the same height as .footer */
}
.footer {
  position: absolute;
  bottom: 0;
  width: 100%;
  background-color: #f5f5f5;
  border-top: 1px solid #d0d0d0;
}
footer p {
  margin: 20px 0;
}
textarea {
  font-family: Consolas, Lucida Console, monospace;
}
table.attr-table td:nth-child(1) {
  width: 25%;
}
.table-headings th {
  background-color: #f5f5f5;
}
ul.nav-tabs, ul.nav-pills {
  margin-bottom: 20px;
}

html {
  position: relative;
  min-height: 100%;
}
body {
  padding-top: 70px;
  margin-bottom: 60px;
}
.wrapper {
  min-height: 100%;
  height: auto !important;
  margin: 0 auto auto auto;
  padding-bottom: 30px;
}
.footer, .push {
  height: 60px; /* .push must be the same height as .footer */
}
.footer {
  position: absolute;
  bottom: 0;
  width: 100%;
  background-color: #f5f5f5;
  border-top: 1px solid #d0d0d0;
}
footer p {
  margin: 20px 0;
}
textarea {
  font-family: Consolas, Lucida Console, monospace;
}
table.attr-table td:nth-child(1) {
  width: 25%;
}
.table-headings th {
  background-color: #f5f5f5;
}
ul.nav-tabs, ul.nav-pills {
  margin-bottom: 20px;
}
.panel .list-group {
  max-height: 500px;
  overflow: auto;
}

Fix history panel max height.
Fix history panel max height.
