﻿body {
  /* font-family: monospace, serif; */
  margin: 0;
  padding: 0;
  display: flex;
  flex-direction: column;
  min-height: 100vh;
  overflow-x: hidden;
}
.main {
  display: flex;
  flex: 1;
}
main {
  flex: 1;
}
.res {
  padding-left: 20px;
}
.contentA {
  width: 70%;
  height: auto;
  font-family: monospace, serif;
}
.contentB {
  width: auto;
  flex: 1;
  height: auto;
  font-family: monospace, serif;
}
header {
  background-color: #333;
  color: #fff;
  padding: 10px;
  text-align: center;
}
nav {
  display: flex;
  justify-content: space-around;
  background-color: #555;
  padding: 10px;
}
nav a {
  color: #fff;
  text-decoration: none;
}
nav p {
  color: #fff;
  text-decoration: none;
}
footer {
  background-color: #333;
  color: #fff;
  text-align: center;
  padding: 10px;
  width: 100%;
}
.editor-container {
  margin: 20px;
  max-width: 800px;
  background-color: #fff;
  box-shadow: 0 0 10px rgba(0, 0, 0, 0.1);
  padding: 20px;
  border-radius: 8px;
  overflow: hidden;
}
textarea {
  width: 100px;
  height: 80px;
  padding: 10px;
  margin: 10px 0;
  box-sizing: border-box;
  /* border: none; */
  border: 1px solid #ddd;
  border-radius: 4px;
  resize: none;
  font-size: 20px;
  font-weight: bold;
  line-height: 1;
  overflow-y: scroll;
  min-width: 10px;
}
/* #graph {
            border: 1px solid #ccc;
            padding: 10px;
            margin-top: 20px;
        } */
#graph {
  width: 100%;
  /* height: 50vh; */
  border: 1px solid #ccc;
  overflow: auto;
  resize: both;
}
.CodeMirror {
  /* width: 300px; */
  height: 450px;
  font-family: monospace;
  font-size: 20px;
}

.textarea-container {
  display: flex;
  flex: 1;
}

.background-div {
  position: relative;
  width: 300px;
  height: 150px;
  background-color: lightgray;
}

.highlighted-line {
  background-color: yellow;
}

.modal {
  display: none;
  position: fixed;
  top: 50%;
  left: 50%;
  transform: translate(-50%, -50%);
  padding: 20px;
  background-color: #fff;
  border: 1px solid #000;
  z-index: 2;
  max-width: 80%;
}

p {
  margin: 0;
}

.hidden-content {
  display: none;
}
