style.css

body {
  margin-top: 0px;
}
.nav {
  margin: 0px;
  padding: 0px;
}
.nav a {
  font-size: 14px;
  line-height: 14px;
  color: #fff;
  background: #0091b9;
  padding: 15px 20px;
  font-weight: 300;
  border-radius: 10px;
  margin: 15px 15px 0 0;
  float: left;
  cursor: pointer;
}
.nav_selected {
  color: #000 !important;
  font-weight: 600 !important;
  text-decoration: none;
  background: #FFD800 !important;
}
.example_selector {
  padding: 25px 20px;
}

.contents {
  background: #007ea1;
}
.code {
  background: #176980;
  border: 2px solid #555;
  position: absolute;
  top: 70px;
  left: 15px;
  right: 15px;
  bottom: 15px;
}

#solidity_src_wrap {
  margin-left: 5px;
  width: 47%;
  right: 50%;
  float: left;
  height: auto;
  position: absolute;
  margin-bottom: 0;
  top: 10px;
  left: 10px;
  bottom: 15px;
}

#solidity_src {
  padding-left: 5px;
  width: 100%;
  height: 100%;
  border: 0;
  overflow-y: auto;
  resize: none;
  background: transparent;
  outline: none;
  margin: 5px 0 20px;
  color: #def;
  font-family: Monaco, Consolas, "Lucida Console", monospace;
}
#ligo_dst_wrap {
  text-transform: none;
  overflow-y: auto;
  left: 50%;
  border-left-color: #555;
  width: auto;
  height: auto;
  position: absolute;
  margin-bottom: 0;
  top: 10px;
  right: 10px;
  bottom: 15px;
  background: transparent;
}
#ligo_dst {
  outline: none;
  margin: 0 20px;
  color: #def;
  padding: 0 50px 0 12px;
}

.minibutton {
  border: 0;
  color: #fff;
  background: #30d27c;
  text-shadow: none;
  -webkit-box-shadow: 0 1px 2px rgba(0,0,0,0.2);
  font-weight: 600;
  font-size: 11px;
  line-height: 11px;
  padding: 5px 10px 6px;
  height: 11px;
  text-align: center;
  cursor: pointer;
  position: absolute;
  bottom: 8px;
  top: 10px;
  right: 10px;
  width: 70px;
  text-transform: none;
  font-family: "Open Sans", Helvetica, Arial, sans-serif;
  border-radius: 3px;
}

.minibutton:hover {
  background: #2bbd70;
}