.navbar-brand {
  background-image: url('/lark/logo.png');
  background-repeat: no-repeat;
  background-size: contain;
  height: 75px;
  width: 120px;
  padding: 0;
}

#nav-wrapper {
  display: flex;
  align-items: center;
}

.clickable {
  cursor: pointer;
}

.unclickable {
  cursor: default;
  margin: 0 15px 15px 0;
}

.jumbotron {
  color: #337ab7;
  /* Permalink - use to edit and share this gradient: http://colorzilla.com/gradient-editor/#f5f6f6+0,dbdce2+21,b8bac6+49,dddfe3+80,f5f6f6+100;Grey+Pipe */
  background: rgb(245,246,246); /* Old browsers */
  background: -moz-linear-gradient(-45deg, rgba(245,246,246,1) 0%, rgba(219,220,226,1) 21%, rgba(184,186,198,1) 49%, rgba(221,223,227,1) 80%, rgba(245,246,246,1) 100%); /* FF3.6-15 */
  background: -webkit-linear-gradient(-45deg, rgba(245,246,246,1) 0%,rgba(219,220,226,1) 21%,rgba(184,186,198,1) 49%,rgba(221,223,227,1) 80%,rgba(245,246,246,1) 100%); /* Chrome10-25,Safari5.1-6 */
  background: linear-gradient(135deg, rgba(245,246,246,1) 0%,rgba(219,220,226,1) 21%,rgba(184,186,198,1) 49%,rgba(221,223,227,1) 80%,rgba(245,246,246,1) 100%); /* W3C, IE10+, FF16+, Chrome26+, Opera12+, Safari7+ */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#f5f6f6', endColorstr='#f5f6f6',GradientType=1 ); /* IE6-9 fallback on horizontal gradient */
}

.niceButton {
  float: left;
  margin: 0 15px 15px 0;
}

del {
	color: #b30000;
	background: #fadad7;
}
ins {
	background: #eaf2c2;
	color: #406619;
	text-decoration: none;
  margin-left: 3px;
}

.result {
	white-space: pre-wrap;
}

.overflow {
  max-height: 500px;
  overflow-y: scroll;
  width: 100%;
}

#exercise-created {
  margin-left: 25px;
  font-size: 1.25rem;
}

.bg-info {
  padding: 10px;
  margin: 10px 0;
  border-radius: 10px;
}