#tool-body main {
  margin:0;
  padding:0;
}
#tool-body .code,#tool-body .code * {
  font-family: "DejaVu Sans Mono",monospace;
}

#tool-body #inputCt,#tool-body #errorBox {
  margin:8px 0px;
}
#tool-body #inputCt div.re {
  background:#EEE;
  font-size:1.2em;
  line-height: 1.4em;
  color:#333;
  padding:4px;
  font-weight: bold;
  word-break:break-all;
  word-wrap:break-word;
}
#tool-body #inputCt div.re table {
  border:none;
  padding:0;
  margin:0;
  width:100%;
}
#tool-body #inputCt div.re .input {
  color:#3030C0;
  padding:0 2px;
  border:none;
  background:#EEE;
  font-size:1.2em;
  line-height: 1.4em;
  height:1.4em;
  font-weight: bold;
  word-break:break-all;
  word-wrap:break-word;
  margin:0;
  width:auto;
}
#tool-body #inputCt div.re #input {
  display:table;
  width:100%;
}
#tool-body #inputCt label {
  cursor:pointer;
  display:inline-block;
}
#tool-body #inputCt label input {
  margin-right:4px;
}
#tool-body #errorBox {
  background:#EEE;
  font-size:1.2em;
  line-height: 1.4em;
  border:1px solid black;
  padding:4px;
  color:darkred;
  white-space: pre;
  word-wrap:normal;
  word-break:keep-all;
  display: none;
  overflow:auto;
}
#tool-body #inputCt button {
  font-size: 16px;
  line-height: 16px;
  display: inline-block;
  margin: 10px;
  margin-left:0;
  padding:12px;
  padding-bottom:10px;
  color:#EEF;
  border:none;
  cursor:pointer;
  background: #40B0EF;
  background-image: linear-gradient(to bottom, #40B0EF,#3060A0);
  border-radius: 12px;
  text-decoration: none;
}
#tool-body #inputCt button:hover {
  color:#FEF;
  background: #3CB0FD;
  background-image: linear-gradient(to bottom, #3CB0FD, #3498DF);
  text-decoration: none;
}
#tool-body #graphCt {
  padding:4px;
  background: #EEE;
  overflow: auto;
  cursor:move;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}
#tool-body #graphCt svg {
  display:block;
  margin:0 auto;
}

body.embed {
  background: #EEE;
}
body.embed,body.embed #graphCt {
  margin:0;
  padding:0;
  border:none;
}
body.embed h1,
body.embed #inputCt,
body.embed #github {
  display:none !important;
}
body.embed footer div.normal {
  display:none;
}
body.embed footer div.embed {
  display: block;
}
body.embed footer div.embed,body.embed div.footer a {
  color:white;
  font-size: 14px;
}
body.embed footer {
  display:block;
  width:auto;
  margin:0;
  padding:2px 10px;
  background:rgb(75,0,130);
  opacity: 0.85;
  position:fixed;
  right:0;
  bottom:0;
}
body.embed{height:100%;}
body.embed #graphCt {
  height: 100vh;
}
#tool-body .exportCanvas {
  display:block;
  margin:0 auto;
  image-rendering: pixelated;
}

#tool-body #textInputContainer {
  width: 100%;
  margin-top: 50px;
  padding-bottom: 50px;
  display: flex;
  flex-direction: column;
}
#tool-body strong.title {
  margin: 10px 0;
  font-weight: bold;
  font-size: 16px;
  display: block;
}
#tool-body #matchResult {
  margin-top: 10px;
  font-weight: bold;
  font-size: 15px;
}
#tool-body #highlightedText {
  margin-top: 10px;
  font-size: 18px;
}
#tool-body .highlight {
  background-color: #28a745;
  color: white;
  padding: 2px 5px;
  border-radius: 3px;
}