body {
  margin: 0;
  padding: 0;
}

* {
  outline: none;
}


a {
  color: black;
}

.title {
  font-weight: bold;
  font-size: 16px;
  margin-bottom: 10px;
}

.stop-words ul {
  margin: 10px 0;
  padding-left: 25px;
}

.stop-words ul li {
  margin-bottom: 7px;
}


input[type=submit] {
  border: 0 none;
  display: inline-block;
  cursor: pointer;
  padding: 10px 16px;
  font-size: 18px;
  line-height: 1.3333333;
  border-radius: 6px;
  color: #ffffff;
  background-color: #337ab7;
  border-color: #2e6da4;
}

.error {
  color: red;
}

.ok {
  color: #1252a1;
}

* {
  box-sizing: border-box;
}

.highlight {
  background: #f6bb38;
  cursor: pointer;
}

.doc-container {
  max-height: 700px;
  min-height: 300px;
  overflow: auto;
  border: 1px #777 solid;
  border-radius: 2px;
  padding: 15px;
  width: 530px;
  float: left;
  margin-right: 10px;
}

.expl-list {
  max-height: 700px;
  width: 200px;
  overflow: auto;
  font-family: arial;
  font-size: 14px;
}



.expl-list div {
  margin: 0;
  padding: 10px 10px;
  background-color: #f0f0f0;
}

.expl-list p {
  margin: 0;
}

.blink {
  animation: blink-anim 1s linear;
}


@keyframes blink-anim {
  0% {
    background-color: #e9e8e2;
  }
  50% {
    background-color: #B4B19C;
  }
  100% {
    background-color: #e9e8e2;
  }
}

.cont {
  overflow: hidden;
}


h2 {
  font-family: Arial;
  font-size: 16px;
}

a {
  color: #1252a1;
}

body > p {
  font-family: Arial;
  font-size: 14px;
}

#editor {
  padding: 6px 8px;
  width: 530px;
  height: 650px;
  border: 1px #777 solid;
  border-radius: 3px;
  margin-bottom: 20px;
  overflow: auto;
}