body {
  font-family: sans-serif;
  margin: 0;
  color: #444444;
}

h1, h2 {
  font-weight: normal;
  margin: 0;
}

a {
  color: #5976AA;
  text-decoration: none;
}

a:hover {
  background-color: #EFEFEF;
}

p {
  line-height: 20px;
  font-size: .9em;
}

button {
  background: #5775A9;
  background-image: -webkit-linear-gradient(top, #5775A9, #7a93bf);
  background-image: -moz-linear-gradient(top, #5775A9, #7a93bf);
  background-image: -ms-linear-gradient(top, #5775A9, #7a93bf);
  background-image: -o-linear-gradient(top, #5775A9, #7a93bf);
  background-image: linear-gradient(to bottom, #5775A9, #7a93bf);
  -webkit-border-radius: 4;
  -moz-border-radius: 4;
  border-radius: 4px;
  border: none;
  color: #FFFFFF;
  padding: 10px 20px 10px 20px;
  text-decoration: none;
}

button:hover {
  background: #698ac2;
  background-image: -webkit-linear-gradient(top, #698ac2, #839fcf);
  background-image: -moz-linear-gradient(top, #698ac2, #839fcf);
  background-image: -ms-linear-gradient(top, #698ac2, #839fcf);
  background-image: -o-linear-gradient(top, #698ac2, #839fcf);
  background-image: linear-gradient(to bottom, #698ac2, #839fcf);
  text-decoration: none;
}

svg {
  margin-top: 60px;
}

#heading {
  background-color: #F9F9F9;
  padding: 10px 0 10px 20px;
  border-bottom: 1px solid #999999;
}

#heading h1 {
  display: inline;
  border-bottom: 1px solid #999999;
  padding-bottom: 2px;
}

#heading p {
  width: 770px;
}

#navigation {
  margin-top: 15px;
}

#algorithm-state {
  list-style: none;
  padding: 0;
}

#algorithm-state li {
  padding-bottom: 5px;
  padding-top: 5px;
  border-bottom: 1px solid #999999;
}

#algorithm-state li:last-child {
  border-bottom: 0;
}

#algorithm-state li span:first-child {
  width: 130px;
  display: inline-block;
  padding: 0;
}

#algorithm-state li span:last-child {
  font-weight: bold;
}

#var-active-node {
  color: #FF6347;
}

#var-active-edge {
  color: #BE4FBA;
}

#var-active-length {
  color: #C78D23;
}

#var-remainder {
  color: #68DA93;
}

#steps-wrapper svg {
  float: left;
}

#right-button-wrapper {
  margin-left: 3px;
}

#input-string {
  width: 565px;
  height: 50px;
  margin-top: 10px;
}

#side-box {
  float: left;
  width: 200px;
  background-color: #F9F9F9;
  -webkit-border-radius: 4;
  -moz-border-radius: 4;
  border-radius: 4px;
  padding: 20px;
  margin: 20px 0 0 20px;
  border: 1px solid #999999;
  display: none;
}

#input-button-wrapper {
  float: right;
}

#input-string input {
  float: left;
}

#letter-blocks {
  margin: 20px 0 0 20px;
  position: absolute;
  margin-left: 280px;
}

#letter-blocks div {
  width: 30px;
  height: 30px;
  display: inline-block;
  text-align: center;
  vertical-align: middle;
  line-height: 30px;
  background-color: #F9F9F9;
  border: 1px solid #999999;
  -webkit-border-radius: 4;
  -moz-border-radius: 4;
  border-radius: 4px;
  margin-right: 6px;
}

.added {
  background-color: #B0C4DE !important;
}

.remainder {
  background-color: #68DA93 !important;
}
