*{
    margin: 0;
    padding: 0;
}

.no-highlight {
  -webkit-touch-callout: none; /* iOS Safari */
  -webkit-user-select: none; /* Safari, Chrome, Opera */
  -khtml-user-select: none; /* Konqueror HTML */
  -moz-user-select: none; /* Firefox */
  -ms-user-select: none; /* Internet Explorer/Edge */
  user-select: none; /* Standard syntax */
}

@font-face {
    font-family: "Header";
    src: url('GeneralSans-Bold.otf');
}

@font-face {
    font-family: "Body";
    src: url('GeneralSans-Medium.otf');
}

#back_clr {
    background: linear-gradient(20deg,rgba(0, 159, 183, 1) 0%, rgba(15, 26, 32, 1) 59%);
    /* background: linear-gradient(340deg,rgba(136, 13, 30, 1) 0%, rgba(15, 26, 32, 1) 59%); */
}

body {
    width: 100%;
    height: 100vh;
    overflow: hidden;
    color: #EFF1F3;
    font-family: "Body", sans-serif;
    font-weight: normal;
}

img {
    -webkit-user-drag: none;
}

input, 
select {
    font-family: "Body", sans-serif;
    font-size: 15px;
    padding: 10px;
    border-radius: 25px;
    border: none;
    margin: 5px;
    border: 1px solid black;
}

input[type="color"] {
  border-radius: 50%;
  inline-size: 40px;
  block-size: 40px;
  margin: 5px;
  border: 1px solid black;
  background-color: white;
}

input[type="color"]::-webkit-color-swatch-wrapper {
    padding: 0px;
}

#color_cntrl {
    display: flex;
    align-items: center;
}

#groupTypeSelect {
    width: 200px;
}

#choose_variation {
    width: 230px;
}

#choose_vertex_size {
    width: 115px;
}

#choose_edge_length {
    width: 115px;
}

.select-wrapper {
    position: relative;
    display: inline-block;
}
  
.select-wrapper select {
    appearance: none;
    -webkit-appearance: none;
    -moz-appearance: none;
    font-size: 15px;
}
  
.select-wrapper::after {
    content: "▾";
    position: absolute;
    right: 20px;
    top: 50%;
    transform: translateY(-50%);
    pointer-events: none;
    font-size: 15px;
}

#save_select{
    min-width: 40px;
}

label {
    font-size: 15px;
}

input {
    width: 50px;
}

button {
    color: #EFF1F3;
    border: none;
    padding: 10px 20px;
    border-radius: 25px;
    font-size: 15px;
    transition: 0.2s;
    font-family: "Body", sans-serif;
    font-weight: normal;
    background: #009FB7;
    margin: 5px;
    transition: 0.2s;
}

button:hover{
    cursor: pointer;
    background: #FED766;
    color: black;
}

.top_nav{
    width: 100%;
    height: 75px;
    display: flex;
    flex-direction: row;
    justify-content: space-between;
    align-items: center;
}

.top_nav h1 {
    margin-left: 20px;
    font-size: 30px;
    font-family: "Header", sans-serif;
    font-weight: normal;
    color: #FED766;
}

.title span {
    display: inline-block;
    color: #FED766;
    animation: keynoteSweep 5s infinite;
}

/* Sequential delays */
.title span:nth-child(1)  { animation-delay: 0s; }
.title span:nth-child(2)  { animation-delay: 0.15s; }
.title span:nth-child(3)  { animation-delay: 0.3s; }
.title span:nth-child(4)  { animation-delay: 0.45s; }
.title span:nth-child(5)  { animation-delay: 0.6s; }
.title span:nth-child(6)  { animation-delay: 0.75s; }
.title span:nth-child(7)  { animation-delay: 0.9s; }
.title span:nth-child(8)  { animation-delay: 1.05s; }
.title span:nth-child(9)  { animation-delay: 1.2s; }
.title span:nth-child(10) { animation-delay: 1.35s; }
.title span:nth-child(11) { animation-delay: 1.5s; }
.title span:nth-child(12) { animation-delay: 1.65s; }
.title span:nth-child(13) { animation-delay: 1.8s; }
.title span:nth-child(14) { animation-delay: 1.95s; }
.title span:nth-child(15) { animation-delay: 2.1s; }
.title span:nth-child(16) { animation-delay: 2.25s; }
.title span:nth-child(17) { animation-delay: 2.4s; }

/* Keynote-style pulse */
@keyframes keynoteSweep {
    0%   { color: #FED766; }
    20%  { color: #ffeebb; }
    40%  { color: #FED766; }
    100% { color: #FED766; }
}

.top_nav div {
    display: flex;
    flex-direction: row;
    align-items: center;
    justify-content: center;
    margin-right: 20px;
    font-size: 15px;
}

.top_nav div button {
    background: #009FB7;
    color: #EFF1F3;
    border: none;
    margin-left: 10px;
    padding: 10px 20px;
    border-radius: 25px;
    font-size: 15px;
    transition: 0.2s;
    font-family: "Body", sans-serif;
    font-weight: normal;
}

.top_nav div button:hover {
    cursor: pointer;
}

.bottom_nav{
    display: flex;
    justify-content: center;
    flex-direction: row;
    align-items: center;
    height: 75px;
    width: 100%;
}

.bottom_nav a{
    font-size: 15px;
    text-decoration: none;
    color: #EFF1F3;
    margin: 20px;
    transition: 0.2s;
}

.bottom_nav a:hover {
    color: #FED766;
}

.main_content {
    width: 100%;
    height: calc(100vh - 150px);
    display: flex;
    justify-content: space-between;
    align-items: center;
}

#sudo_main {
    position: fixed;
    width: 100vw;
    height: 100vh;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
    z-index: 9200; /* in front of everything */
    background: rgba(0, 0, 0, 0.7);
}

#d1 {
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    position: fixed;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
    z-index: 1;
}

#myCanvas {
    background-color: #EFF1F3;
    border: none;
    border-radius: 25px;
    box-shadow: 3px 5px 19px 1px rgba(15, 26, 32, 0.6);
}

#left_arrow {
    border-top-right-radius: 25px;
    border-bottom-right-radius: 25px;
    background-color: #EFF1F3;
    opacity: 1;
    height: 200px;
    display: flex;
    justify-content: center;
    align-items: center;
    flex-direction: row;
    box-shadow: 8px 5px 19px 1px rgba(15, 26, 32, 0.6);
    width: 60px;
    cursor: pointer;
    z-index: 7700;
    transition: 0.2s;
    scale: 1;
    animation: idlePulse 2.5s ease-in-out infinite;
}

#right_arrow {
    border-top-left-radius: 25px;
    border-bottom-left-radius: 25px;
    background-color: #EFF1F3;
    opacity: 0.5;
    height: 200px;
    display: flex;
    justify-content: center;
    align-items: center;
    flex-direction: row;
    box-shadow: -8px 5px 19px 1px rgba(15, 26, 32, 0.6);
    width: 60px;
    cursor: default;
    z-index: 7700;
    transition: 0.2s;
    scale: 1;
    animation: none;
}

#left_arrow:hover {
    opacity: 1;
    background-color: #FED766;
    animation: none;
    width: 130px;
}

.child2 {
    color: black;
    font-size: 15px;
    visibility: hidden;
    opacity: 0;
    transition: opacity 0.2s ease;
    text-align: center;
}

.parent1:hover .child2 {
    transition-delay: 0.2s;
    visibility: visible;
    opacity: 1;
}

.parent1:hover .child1 {
    display: none;
}

#right_arrow:hover {
    opacity: 0.5;
    background-color: #EFF1F3;
}

.menu_img {
    width: 50px;
    position: absolute;
}

@keyframes idlePulse {
    0%, 70%, 100% {
        transform: scale(1);
    }
    80% {
        transform: scale(1.1);
    }
}



.left_menu,
.right_menu {
    position: fixed;
    top: 50%;
    transform: translateY(-50%);
    z-index: 9300;
}

.left_menu {
    left: 0;
}

.right_menu {
    right: 0;
}

#left_contents {
    color: black;
    z-index: 9900;
    height: 100vh;
    width: 500px;
    display: flex;
    flex-direction: column;
    justify-content:space-evenly;
    align-items: center;
    background-color: #EFF1F3;
    overflow-y: auto;
    box-shadow: 8px 5px 19px 1px rgba(15, 26, 32, 0.3);
    scrollbar-color: #0F1A20 #EFF1F3;
}

#right_contents {
    z-index: 9900;
    color: black;
    height: 100vh;
    width: 500px;
    display: flex;
    flex-direction: column;
    justify-content:space-evenly;
    align-items: center;
    background-color: #EFF1F3;
    overflow-y: auto;
    box-shadow: -8px 5px 19px 1px rgba(15, 26, 32, 0.3);
    scrollbar-color: #0F1A20 #EFF1F3;
}

#left_contents,
#right_contents {
    overflow-y: auto;
    overflow-x: hidden;
}


#graph6-wrapper {
    display: flex;
    flex-direction: column;
    justify-content: center;
    align-items: center;
}

#graph6_sub {
    display: flex;
    flex-direction: row;
    justify-content: center;
    align-items: center;
}

#graph6 {
    width: 100px;
}

.line_break {
    width: 100%;
    border-bottom: 2px solid black;
}

.bottom_buttons {
    display: flex;
    justify-content: center;
    flex-direction: row;
    align-items: center;
}

.check_boxes {
    margin: 5px 0px;
}

.bottom_check {
    margin-bottom: 5px;
}

.line {
    margin: 15px 0px;
}

.subtitle {
    font-size: 15px;
    font-style: italic;
    padding-bottom: 15px;
    text-align: center;
}


#relationsContainer {
    display: flex;
    flex-direction: column;
    justify-content: baseline;
}

#left_close {
    z-index: 9900;
    position: fixed;
    top: 0;
    left: 500px;
}

#right_close {
    z-index: 9900;
    position: fixed;
    top: 0;
    right: 500px;
}

.close_img{
    width: 30px;
    background-color: #EFF1F3;
    transition: 0.2s;
    padding: 10px;
}

.close_img:hover {
    cursor: pointer;
    background-color: #FED766;
}



#right_contents button {
    background-color: #880D1E;
}

#popup {
    background-color: #0F1A20;
}

#popup:hover {
    background-color: #FED766;
    color: black;
}

#properties_container {
    position: fixed;
    align-items: center;
    justify-content: center;
    width: 100vw;
    height: 100vh;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
    z-index: 9990; /* in front of everything */
    background: rgba(0, 0, 0, 0.7);
}

#sage_container {
    position: fixed;
    align-items: center;
    justify-content: center;
    width: 100vw;
    height: 100vh;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
    z-index: 9990; /* in front of everything */
    background: rgba(0, 0, 0, 0.7);
}

#node_edit_cont {
    position: fixed;
    align-items: center;
    justify-content: center;
    width: 100vw;
    height: 100vh;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
    z-index: 9990; /* in front of everything */
    background: rgba(0, 0, 0, 0.7);
}

#prop_sub{
    width: 80vw;
    height: 80vh;
    background-color: #EFF1F3;
    display: flex;
    flex-direction: row;
    align-items: center;
    justify-content: space-between;
    z-index: 9995;
    opacity: 1;
    border-radius: 25px;
    color: black;
}

#prop_sub3{
    width: 20vw;
    height: 40vh;
    background-color: #EFF1F3;
    display: flex;
    flex-direction: row;
    align-items: center;
    justify-content: center;
    z-index: 9995;
    opacity: 1;
    border-radius: 25px;
    color: black;
}

#center_close {
    position: absolute;
    top: 10vh;
    right: 10vw;
}

#center_close2 {
    position: absolute;
    top: 10vh;
    right: 10vw;
}

#center_close3 {
    position: absolute;
    top: 30vh;
    right: 40vw;
}

#center_img {
    margin: 20px;
    background: none;
}

#center_img:hover {
    background-color: #FED766;
}

#center_img2 {
    margin: 20px;
    background: none;
}

#center_img2:hover {
    background-color: #FED766;
}

#prop_sub button {
    background-color: #0F1A20;
}

#prop_sub button:hover {
    background-color: #FED766;
}

.inputDiv {
    display: flex;
    width: 30%;
    height: 100%;
    flex-direction: column;
    align-items: center;
    justify-content: space-evenly;
    border-right: 2px solid #0F1A20;
}

.outputDiv {
    display: flex;
    width: 70%;
    height: 100%;
    flex-direction: column;
    align-items: center;
    justify-content: center;
}

.adj-matrix {
    border-collapse: collapse;
    font-family: "Body", sans-serif;
    font-size: 15px;
    margin-bottom: 5px;
}
  
.adj-matrix th,
.adj-matrix td {
    border: 1px solid #0F1A20;
    padding: 1.5px 5px;
    text-align: center;
}

#mat_label {
    display: flex;
    align-items: center;
    flex-direction: row;
    margin-bottom: 15px;
    margin-top: 20px;
    font-style: italic;
}



#mat_out {
    margin: 0px 20px;
}

.matrix-wrapper {
    overflow-x: auto;
}

#copyDiv1 {
    width: 100%;
    display: flex;
    justify-content: center;
    align-items: center;
    flex-direction: column-reverse;
}

#copyGraph6 {
    margin-top: 15px;
}

#divMultiply_dihedral {
    display: flex;
    flex-direction: row;
}

#right_contents button:hover{
    background-color: #FED766;
}

#playing_toggle{ 
    display: flex; 
    justify-content: center; 
    align-items: center; 
}
  
#editState {
    display: flex;
    justify-content: center;
    align-items: center;
    gap: 12px;
    border-radius: 25px;
    border: none;
    cursor: pointer;
}

#editState:hover .mode_label{
    color: black;
}


  /* Text labels */
.mode_label {
    color: #EFF1F3;
    transition: 0.2;
    user-select: none;
    transition: 0.2s;
}
  
#editState:not(.editing) {
    background-color: #880D1E;
}
  
#editState.editing {
    background-color: #009FB7;
}
  
  
  /* Toggle track */
.toggle_track {
    position: relative;
    width: 56px;
    height: 28px;
    background: white;
    border-radius: 14px;
    flex-shrink: 0;
    transition: 0.2s;
}

#editState:hover .toggle_track {
    background: black;
}
  
  /* Sliding knob */
.toggle_window {
    position: absolute;
    top: 2px;
    left: 2px;
    width: 24px;
    height: 24px;
    background: black;
    border-radius: 50%;
    transition: 0.2s;
    transition: left 0.2s ease, background 0.2s;
}

#editState:hover .toggle_window {
    background: white;
}
  
  /* Move knob right when editing */
#editState.editing .toggle_window {
    left: 30px;
}









#vertex_edit_toggle{ 
    display: flex; 
    justify-content: center; 
    align-items: center; 
}
  
#editState2 {
    display: flex;
    justify-content: center;
    align-items: center;
    gap: 12px;
    border-radius: 25px;
    border: none;
    cursor: pointer;
}

#editState2:hover .mode_label2{
    color: black;
}


  /* Text labels */
.mode_label2 {
    color: #EFF1F3;
    transition: 0.2;
    user-select: none;
    transition: 0.2s;
}
  
#editState2:not(.editing) {
    background-color: #880D1E;
}
  
#editState2.editing {
    background-color: #009FB7;
}
  
  
  /* Toggle track */
.toggle_track2 {
    position: relative;
    width: 56px;
    height: 28px;
    background: white;
    border-radius: 14px;
    flex-shrink: 0;
    transition: 0.2s;
}

#editState2:hover .toggle_track2 {
    background: black;
}
  
  /* Sliding knob */
.toggle_window2 {
    position: absolute;
    top: 2px;
    left: 2px;
    width: 24px;
    height: 24px;
    background: black;
    border-radius: 50%;
    transition: 0.2s;
    transition: left 0.2s ease, background 0.2s;
}

#editState2:hover .toggle_window2 {
    background: white;
}
  
  /* Move knob right when editing */
#editState2.editing .toggle_window2 {
    left: 30px;
}







.generate_random {
    display: flex;
    flex-direction: column;
    justify-content: center;
    align-items: center;
}

#historyList {
    height: 150px;
    width: 100%;
    border: 1px solid black;
    margin-bottom: 15px;
    margin-top: 5px;
    background-color: white;
    list-style: none;
    display: flex;
    flex-direction: column;
    justify-content: flex-start;
    align-items: center;
    overflow-y: auto;
}


#historyList li {
    width: 100%;
    padding: 8px 0px;
    text-align: center;
}



#historyList li:hover {
    cursor: pointer;
    background-color: #EFF1F3;
}

#resetDiv {
    flex-direction: column;
}

#relationInput {
    width: 100px;
}

#relationsList {
    height: 75px;
    width: 100%;
    border: 1px solid black;
    margin-bottom: 15px;
    margin-top: 5px;
    background-color: white;
    list-style: none;
    display: flex;
    flex-direction: column;
    justify-content: flex-start;
    align-items: center;
    overflow-y: auto;
}

#relationsList li {
    width: 100%;
    padding: 8px 0px;
    text-align: center;
}

#sage_btn {
    background-color: #0F1A20;
}

#sage_btn:hover {
    background-color: #FED766;
}


.sagecell,
.sagecell iframe {
  z-index: 10000 !important;
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
} 




#sagecell button {
    background-color: #0F1A20;
    color: #EFF1F3;
    border: none;
    border-radius: 25px;
    padding: 10px 20px;
    font-size: 15px;
    margin-bottom: 20px;
    width: 15vw;
}

#sagecell button:hover {
    background-color: white;
    color: black;
    cursor: pointer;
    background-color: #FED766;

}

.sagecell_evalButton {
    font-family: 'Body', sans-serif;
}

.sagecell_fullScreen {
    visibility: hidden;
}

.sagecell_sessionOutput {
    background-color: white;
    scrollbar-color: #0F1A20 #EFF1F3;
    margin-bottom: 20px;
    height: 20vh;
    width: 50vw;
}

.sagecell_poweredBy {
    display: none;
}

.CodeMirror {
    margin-top: 75px;
    max-height: 30vh;
    width: 50vw;
}

#prop_sub2{
    width: 80vw;
    height: 80vh;
    background-color: #EFF1F3;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: space-between;
    z-index: 9995;
    opacity: 1;
    border-radius: 25px;
    color: black;
}

.sagecell_input {
    display: flex;
    justify-content: center;
    align-items: center;
    flex-direction: column;
}

#a label {
    padding: 10px 20px;
    background-color: rgba(255, 0, 0, 0.5);
    border-radius: 25px;
}

#b label {
    padding: 10px 20px;
    background-color: rgba(0, 255, 0, 0.5);
    border-radius: 25px;

}

#c label {
    padding: 10px 20px;
    background-color: rgba(0, 0, 255, 0.5);
    border-radius: 25px;
}

.CodeMirror {
    position: inherit;
}

.CodeMirror-vscrollbar {
    visibility: hidden;
}

.CodeMirror-code {
    height: 30vh;
}

#prime_input {
    width: 100px;
}

.slidecontainer {
    width: 100%;
    display: flex;
    align-items: center;
    gap: 10px;
    margin-top: 5px;
    margin-bottom: 5px;
  }
  
  /* Remove default styles */
  .slider {
    margin: 0;
    -webkit-appearance: none;
    appearance: none;
    width: 80%;
    height: 6px;
    background: none;
    border-radius: 25px;
    border: none;
    outline: none;
    transition: 0.2s;
    margin: 0; /* removes extra spacing */
  }
  
  /* Track (Chrome/Safari) */
  .slider::-webkit-slider-runnable-track {
    height: 6px;
    background: black;
    border-radius: 3px;
    transition: 0.2s;
  }
  
  /* Thumb (Chrome/Safari) */
  .slider::-webkit-slider-thumb {
    -webkit-appearance: none;
    appearance: none;
    width: 16px;
    height: 16px;
    background: #880D1E;
    border-radius: 50%;
    cursor: pointer;
    transition: 0.2s;
    /* KEY: align center with track edges */
    margin-top: -5px; /* half thumb - half track height */
  }

  .slider::-webkit-slider-thumb:hover {
    background: #FED766;
  }
  
.slider_outer {
    display: flex;
    align-items: center;
    justify-content: center;
    flex-direction: column;
}

#chess_variation {
    width: 120px;
}

#par_div {
    display: none;
    font-size: 1.17em;
}

#puzzle_btns {
    display: flex;
    flex-direction: row;
}

#ludr {
    display: flex;
    flex-direction: column;
}


#extra_btnDiv {
    display: flex;
    justify-content: center;
    flex-direction: row;
    align-items: center;
}

#extra_ops_cont {
    display: none;
}

#show_extra_ops {
    background-color: #0F1A20;
}

#show_extra_ops:hover {
    background-color: #FED766;
}