/*
style for application
*/

body {
  margin-top:50px;
}

section#main {
  padding-top: 15px;
}

.navbar .brand {
  margin-left: 5px;
  margin-top: 2px;
}

.navbar form {
  margin-top: 5px;
  margin-bottom: 0px;
}

#menu1 .btn{
  margin-top: 5px;
}

#menu2, #menu5 {
  padding-top: .35em;
  padding-left: 1em;
}

#menu3, #menu4 {
  margin-top: .1em;
  margin-left: 1em;
}


@media all and (max-width: 760px) {
  #menu1,#menu2,#menu3,#menu4{
    display: none;
  }
}

.clear {
  clear:both;
}

.focus {
  border: thin #eeeeee solid;
  border-color: rgba(82, 168, 236, 0.8);
  outline: 0;
  outline: thin dotted \9;
  -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6);
  -moz-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6);
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6);
}

.display-none {
  display:none;
}

#progress {
  z-index:5px;
}

.alert {
  margin:5px 5px;
}

.alert .close {
  float: left;
  right: 0px;
}

#in {
  float: left;
  margin-left:5px;
}
#out {
  float:left;
  margin-left: 30px;
  padding:5px;
}

@media all and (min-width: 760px) {
  #in {
    width:45%;
    height:1000px;
  }
  #out {
    width:50%;
  }
}

div.CodeMirror {
  width: 45%;
  float: left;
  background-color:#e7e7e7;
  min-height:800px;
  height:100%;
}

.scrollable-drop {
  height: auto;
  max-height: 200px;
  overflow-x: hidden;
}

.select-theme.active {
  color: #4183C4;
}