* {
  font-family:'Times New Roman', Times, serif;
}

.input-control option[value="NULL"] {display: none;}
.inp option[value="NULL"] {display: none;}


.container {
  width: 1260px;
  height: 646px;
  border: 1px solid #1b1b38;
  background-color: #ffffff;
  position: relative;
  border-radius: 10px;
  color:#333;
  box-shadow: rgba(50, 50, 93, 0.25) 0px 50px 100px -20px, rgba(0, 0, 0, 0.3) 0px 30px 60px -30px, rgba(10, 37, 64, 0.35) 0px -2px 6px 0px inset;
}

.header {
  width: 100%;
  background-color: #1b1b38;
  display: flex;
  justify-content: space-between;
  margin: auto;
  height: 35px;
  border-top-left-radius: 10px;
  border-top-right-radius: 10px;
}

.header-text {
  font-size: 16px;
  color: #abf1ff;
}

.header-text:nth-child(1) {
  padding-left: 20px;
}

.header-text:nth-child(2) {
  padding-right: 20px;
}

.div {
  background-color:#f5f5f5
}

.tab-create {
  font-size: 20px;
  padding-top: 5px;
  padding-left: 10px;
  padding-right: 10px;
  cursor: pointer;
  border-top-left-radius: 10px;
}

.tabs {
  display: flex;
  width: 980px;
  margin: auto;
  margin-top: 0px;
  height: 35px;
}

.tab-text {
  color: #abf1ff;
  text-decoration-line: none;
}



.options-list li {
  display: inline-block;
  margin: 0 1em 1em 0;
}
.options-list li a.button {
  display: inline-flex;
  align-items: center; /* Center text vertically */
  justify-content: center;
  padding: 10px 20px;
  width: 120px;
  height: 60px;
  background-color: #1b1b38;
  color: #abf1ff;
  border: 1px solid #abf1ff;
  border-radius: 5px;
  transition: background-color 0.3s ease;
  text-decoration: none;
  
}
.options-list li a.button:hover {
  background-color:#abf1ff;
  color:#1b1b38 ;
}
/* ... Other styles ... */

.container1 {
display: flex;
flex-direction: column; /* Align items vertically */
align-items: center; /* Center items horizontally */
justify-content: center; /* Distribute space between items */
padding: 20px;
margin-top: 125px; /* Add padding for spacing */
}


.position-absolute {
  position: absolute !important;
}

.header-box {
  width: 100%;
  background-color: #1b1b38;
  color: #abf1ff;
  padding-top: 3px;
  padding-bottom: 3px;
  font-size: 18px;
  text-align: center; 
  border-top-left-radius: 10px;
  border-top-right-radius: 10px;
}

.Data-set-x-value-input-container {
  width: 86%;
  height: 50px;
  display: flex;
  justify-content: center;
  align-items: center;
  font-size: 18px;
  margin-top: 50px;
}

.sec-con-container {
  display: flex;
  margin: 10px;
  width: 891px;
  height: 586px;
}

.sec-con-column {
  display: flex;
  flex-flow: column;
  width: 400px;
  height: 588px;
}

.sec-con-left {
  display: flex;
  flex-wrap: wrap;
  flex-flow: column;
  width: 400px;
  height: 588px;
  margin: auto;
}

.sec-con-right {
  display: flex;
  width: 450px;
  height: 370px;
  position: relative; /* Make the rightbar a relative container */
}

.sub-div-control {
  margin-top: 15px;
  width: 100%;
  height: 240px;
  border: 0px solid #E5E7EB;
  background-color: #ecf7f8;
  border-radius: 10px;
  color:#333;
  box-shadow: rgba(50, 50, 93, 0.25) 0px 50px 100px -20px, rgba(0, 0, 0, 0.3) 0px 30px 60px -30px, rgba(10, 37, 64, 0.35) 0px -2px 6px 0px inset;
}

.sub-div-sim {
  margin-top: 15px;
  width: 100%;
  /* height: 560px;  Remove fixed height */
  border: 0px solid #E5E7EB;
  background-color: #ecf7f8;
  border-radius: 10px;
  color:#333;
  box-shadow: rgba(50, 50, 93, 0.25) 0px 50px 100px -20px, rgba(0, 0, 0, 0.3) 0px 30px 60px -30px, rgba(10, 37, 64, 0.35) 0px -2px 6px 0px inset;
  position: absolute; 
  top: 0; 
  left: 0; 
  width: 100%; 
  bottom: 10%; 
}
.status-display{
  border: 0px solid #E5E7EB;
  background-color: #ecf7f8;
  border-radius: 10px;
  color:#333;
  box-shadow: rgba(50, 50, 93, 0.25) 0px 50px 100px -20px, rgba(0, 0, 0, 0.3) 0px 30px 60px -30px, rgba(10, 37, 64, 0.35) 0px -2px 6px 0px inset;
  height: 150px;
  width: 100%; 
  margin-top: 0px;
  position: absolute;
  top: 450px; /* Position it below the code box */
  left: 1400px;
}

.ui.input {
  font-size: 0.7em;
}

#fcfsGraph {
  width: 100%;
  height: 100%; 
}

.footer {
  width: 1260px;
  height: 5%;
  background-color: #1b1b38;
  display: flex;
  justify-content: space-between;
  position: absolute;
  top:616px;

  border-bottom-right-radius: 10px;
  border-bottom-left-radius: 10px;
}

.footer-text {
  font-size: 20px;
  font-weight: 500;
  padding: 10px;
  color: #abf1ff;
  display: flex;
  align-items: center;
  justify-content: center;
  margin-left: 520px;
  font-family: 'Times New Roman', Times, serif;
}

/* The Modal (background) */

.modal-header h2{
  text-align:left;
}


     /* Modal styles */
     .modal {
      display: none;
      position: absolute;
      z-index: 1;
      padding-top: 99px;
      width: 1258px;
      height: 645px;
      overflow: auto;
      background-color: rgba(255, 255, 255, 0);
      backdrop-filter: blur(9.2px);
      -webkit-backdrop-filter: blur(9.2px);
      border-radius:10px;
      
  }
  
  .modal-content {
      background-color: #fefefe;
      margin: auto;
      padding: 20px;
      border: 1px solid #888;
      width: 80%;
      box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2), 0 6px 20px 0 rgba(0, 0, 0, 0.19);
      -webkit-animation-name: animatetop;
      -webkit-animation-duration: 0.4s;
      animation-name: animatetop;
      animation-duration: 0.4s
  }

 
  .close,.close2 {
      color: #abf1ff;
      float: right;
      font-size: 28px;
      font-weight: bold;
  }

  .close:hover,
  .close:focus, .close2:hover,
  .close2:focus{
      color: white;
      text-decoration: none;
      cursor: pointer;
  }

  .modal-header {
      padding: 2px 16px;
      background-color: #1b1b38;
      color: #abf1ff;
  }

  .modal-body {
      padding: 2px 16px;
  }

  .modal-footer {
      padding: 2px 16px;
      background-color: #1b1b38;
      color: #abf1ff;
  }

@-webkit-keyframes animatetop {
  from {
    top: -300px;
  }
}

/* Style for the disabled button */
.ui.button.disabled {
  background-color: #ccc; /* Change background color */
}

/* CSS */
.button-19 {
  background: linear-gradient(rgba(0, 0, 0, 0), rgba(0, 0, 0, 0.13)), radial-gradient(90% 7% at 50% 8%, rgba(255, 255, 255, 0.47) 25%, rgba(255, 255, 255, 0) 50%), #1b1b38;
  border: 0;
  border-radius: 0.375em;
  box-shadow: 0.2em 0.2em 0.5em rgba(0, 0, 0, 0.47), 0 -0.1em 0 0.1em rgba(0, 0, 0, 0.27), 0 0.1em 0 0.1em rgba(255, 255, 255, 0.27), -0.2em 0 0.2em #003f9d inset, 0 0.2em 0.2em rgba(255, 255, 255, 0.27) inset, 0.2em 0 0.2em rgba(255, 255, 255, 0.27) inset, 0 -0.2em 0.2em #003f9d inset;
  color: #abf1ff;
  cursor: pointer;
  height:35px;
  font-size: 14px;
  width:70px;
  margin: 0 auto;
  padding: 0.5em 0.5em;
  text-shadow: 0 0 0.2em rgba(255, 255, 255, 0.47);
  transition-property: box-shadow;
  -webkit-tap-highlight-color: transparent;
}
.button-19, .button-19 span {
  display: block;
  transition-duration: 0.1s;
  transition-timing-function: linear;
}
.button-19:focus, .button-19 span:focus {
  outline: none;
}
.button-19 span {
  transition-property: transform;
  will-change: transform;
}
.button-19:active {
  box-shadow: 0 0 0 rgba(0, 0, 0, 0.47), 0 -0.1em 0 0.1em rgba(0, 0, 0, 0.27), 0 0.1em 0 0.1em rgba(255, 255, 255, 0.27), -0.2em 0 0.2em #002a6a inset, 0 0.2em 0.2em rgba(0, 0, 0, 0.27) inset, 0.2em 0 0.2em rgba(0, 0, 0, 0.27) inset, 0 -0.2em 0.2em #002a6a inset;
}
.button-19:active span {
  transform: scale(0.95);
}
.button-19:focus {
  color: #abf1ff;
  text-shadow: 0 0 0.2em rgba(157, 196, 255, 0.47);
}
.button-19.visually-disabled {
  background-color: #a1a0a0; /* Light greyish-blue color */
  cursor: not-allowed; /* Change cursor to indicate it's not clickable */
}
.r-circle:hover{
  transform: scale(1.2);    
}


body {
  display: flex;
  height: 100vh;
  background-color: #f0f0f0;
  margin: 0;
  font-family: Arial, sans-serif;
}

.circle {
  position: relative;
  width: 200px;
  height: 200px;
/*  background-color: #d4c7ed;*/
background-image: url('Synchronizationimages/tables.jpeg');
  border-radius: 50%;
}

.philosopher, .chopstick {
  position: absolute;
  display: flex;
  justify-content: center;
  align-items: center;
  border-radius: 50%;
  font-weight: bold;
  color: white;
  transition: background-color 0.3s;
}

.philosopher {
  width: 70px;
  height: 70px;
/*  background-color: #907ec2;*/
}

.chopstick {
  width: 30px;
  height: 30px;
 /* background-color: #907ec2;*/
}

.chopstick span {
  position: absolute;
  background-color: transparent;
}

.bowl {
  width: 50px;
  height: 50px;
  position: absolute;
 /* background-color: #907ec2;*/
}


#philosopherTable td.eating {
  background-color: #abf1ff;
}
  
#philosopherTable td.taken {
  background-color:  #abf1ff;
  ;
}

/* Positioning philosophers */
#P0 { top: -12%; left: 50%; transform: translate(-50%, -50%); }
#P4 { top: 30%; right: -10%; transform: translate(50%, -50%); }
#P3{ bottom: 2%; right: 10%; transform: translate(50%, 50%); }
#P2 { bottom: 2%; left: 10%; transform: translate(-50%, 50%); }
#P1 { top: 30%; left: -10%; transform: translate(-50%, -50%); }

/* Positioning chopsticks */
#C0 { top: 17%; left: 66%; transform: translate(-10%, -10%) rotate(180deg); }
#C4 { top: 60%; left:83%; transform: translate(-50%, -50%)rotate(240deg); }
#C1 { bottom: 62%; left: 30%; transform: translate(-50%, -50%) rotate(100deg); }
#C3 { bottom: 15%; right: 50%; transform: translate(50%, 50%) rotate(320deg); }
#C2 { top: 59%; right: 83%; transform: translate(50%, -50%) rotate(20deg); }


.philosopher-label {
  position: absolute;
  font-weight: bold;
  color: black;
  pointer-events: none; 
}
.chopstick-label{
  position: absolute;
  font-weight: bold;
  color: black;
  pointer-events: none; 
}

/* Adjust positions as needed for each philosopher */
#P0 .philosopher-label { top: 35%; left: -20%; transform: translateX(-50%);font-size: 20px;}
#P4 .philosopher-label { top: 35%; right:-50%; transform: translateX(-50%); font-size: 20px;}
#P3 .philosopher-label { bottom: 35%; right:-50%; transform: translateX(-50%); font-size: 20px;}
#P2 .philosopher-label { bottom: 35%; left: -20%; transform: translateX(-50%); font-size: 20px;}
#P1 .philosopher-label { top: 35%; left: -20%; transform: translateX(-50%);font-size: 20px; }

#C0 .chopstick-label{ top: -50%; left: 100%; transform: translateX(-50%) rotate(180deg);font-size: 12px;}
#C4 .chopstick-label{ top: -50%; left: 105%; transform:translateX(-50%) rotate(120deg)  ;font-size: 12px;}
#C3 .chopstick-label{ top: -40%; left: 105%; transform: translateX(-50%) rotate(40deg);font-size: 12px;}
#C2 .chopstick-label{ top: -20%; left: 130%; transform: translateX(-50%) rotate(340deg);font-size: 12px;}
#C1 .chopstick-label{ top: -40%; left: 110%; transform: translateX(-50%) rotate(260deg);font-size: 12px;}

.legend {
  position: absolute;
  top: 10px;
  right: 10px;
  font-size: 14px;
}

.legend div {
  margin: 5px 0;
}

.legend-philosopher, .legend-chopstick {
  display: inline-block;
  width: 20px;
  height: 20px;
  border-radius: 50%;
  margin-right: 5px;
}

.legend-philosopher {
  background-color: #907ec2;
}

.legend-chopstick {
  background-color: #603e94;
}

table {
  border-collapse: collapse;
  margin-top: 10px;
  margin-left: 15px;
}

th, td {
  border: 1px solid black;
  padding: 5px;
}

#arraysDisplay {
  margin-left: 0px;
}

.legend-waiting, .legend-eating {
  display: inline-block;
  width: 20px;
  height: 20px;
  border-radius: 50%;
  margin-right: 5px;
}

.legend-waiting {
  background-color: yellow;
}

.legend-eating {
  background-color: green;
}

.legend {
  position: absolute;
  top: 10px;
  right: 10px;
  font-size: 14px;
}

.legend div {
  margin: 5px 0;
}


.waiting-label, .eating-label {
  position: absolute;
  padding: 5px 10px;
  border-radius: 5px;
  font-weight: bold;
  color: black; 
  height: 30px;
  width: 65px;
  cursor: default;
}

.waiting-label {
  background-color: yellow;
  top: 90px;
  right: 10px;
}

.eating-label {
  background-color: lightgreen;
  top: 50px;
  right:10px;
}


#philosopherTable { 
  display: none;
}

#array { 
  display: none;
}
#output { 
  display: none;
}
#code{
  display: none;
}
#comment{
  display: none;
}

.rectangles {
display: flex;
flex-direction: row;
gap: 20px;
margin-top: -205px;
margin-left: 110px;
}

.rectangles .rectangle {
width: 60px;
height: 210px;
/* background-color: #d3d3d3;*/
display: flex;
justify-content: space-around;
align-items: center;
border-radius: 5px;
font-family: Arial, sans-serif;
font-weight: bold;
color: black;
transition: background-color 0.3s;
border:1px solid black;
flex-direction: column;
}

.rectangle-text {
position: relative;
top: -85px; /* Adjust as needed */
left: 0px; /* Adjust as needed */
font-size: 15px;
font-weight: bold;
cursor: default;
}
.circle-text{
position: relative;
top: 0px; /* Adjust as needed */
left: 0px; /* Adjust as needed */
font-size: 15px;
font-weight: bold;
}
.r-circles{
display: flex;
flex-direction: column;
gap: 7px;
margin-top: 50px;
margin-left: 60px;
}
.r-circle {
width: 28px;
height: 28px;
background-color: #d4c7ed;
border-radius: 50%;
display: flex;
justify-content: center;
align-items: center;
position: relative; 

}

.r-circle .rectangle-text {
position: absolute;
top: 50%;
left: 50%;
transform: translate(-50%, -50%); 
font-size: 12px;
color: rgb(7, 7, 7);
}

hr {
width: 350px;
margin-left: 10px;
margin-bottom: 10px;
background-color: black;
border-top: 1px dotted #fff;
display: none;
}
#startButton:disabled,#printButton:disabled{
opacity:0.5;
}

@keyframes blinking {
  0% {
    background-color: yellow;
   
  }
  100% {
    background-color: red;
   
  }
}

.code-font
{
  font-family: ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;
}

 /* styles.css */
 .code-font {
  color: black; /* Initial text color */
  transition: transform 0.3s ease, box-shadow 0.3s ease;
}




.code-font:hover {
  animation: popUp 0.5s forwards; /* Trigger the animation */
  color:#003f9d;
  background-color: white;
  font-weight: bold;
}

/* Keyframes for the pop-up effect */
@keyframes popUp {
  0% {
      transform: scale(1); /* Initial size */
      opacity: 1;
      box-shadow: 0 0 0 rgba(0, 0, 0, 0);
  }
  50% {
      transform: scale(1.2); /* Scale up */
      opacity: 0.8;
      box-shadow: 0 4px 8px rgba(0, 0, 0, 0.3);
  }
  100% {
      transform: scale(1); /* Back to original size */
      opacity: 1;
      box-shadow: 0 4px 12px rgba(0, 0, 0, 0.5);
  }
}