.topnav {
  background-color: #162a31;
  overflow: visible;
  display: flex;
  justify-content: space-between;
  height: 70px;
}


.dropdown {
  position: relative;
  display: inline-flex;
  align-items: center;
}

.dropdown-content {
  display: none;
  position: absolute;
  color: #f2f2f2;
  background-color: #162a31;
  box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
  z-index: 1;
  flex-direction: column; /* Ensure items are displayed in a column */
  min-width: 100px; /* Adjust width as needed */
  top: 100%; /* Position dropdown directly below the dropdown button */
  left: 0; /
}

.dropdown-content a {
  color: #f2f2f2;
  padding: 12px 16px;
  text-decoration: none;
  display: block;
}

.dropdown-content a:hover {background-color: #ddd;}

.dropdown:hover .dropdown-content {
  display: flex;
}

.dropbtn {
  background-color: #162a31;
  color: white;
  padding: 16px;
  font-size: 16px;
  border: none;
  cursor: pointer;
  outline: none;
}


.left {
  display: flex;
  align-items: center;
}

.middle {
  display: flex;
  align-items: center;
}

.right {
  overflow: hidden;
  display: flex;
  align-items: center;
}

.topnav a {
  float: left;
  color: #f2f2f2;
  text-align: center;
  padding: 14px 16px;
  text-decoration: none;
  font-size: 17px;
  display: flex;
  align-items: center; /* Center the text vertically */
  justify-content: center; /* Center the text horizontally */
}

h1 {
  text-align: center; /* Center-align the text */
  font-variant: small-caps; /* Transform text to small caps */
}

h2 {
  text-align: center; /* Center-align the text */
  font-variant: small-caps; /* Transform text to small caps */
}

.links {
  display: flex;
  align-items: center;
}

.links a:hover {
  background-color: #ddd;
  color: black;
  text-decoration: none;
}

.topnav a.split {
  flex: 1;
  padding: 25px 5px;
  background-color: #162a31;
  color: white;
}

.topnav a.split:hover {
  text-decoration: none;
}

.topnav a.split_open {
  padding: 25px 10px;
  background: #E9967A;
  color: black;
}


.topnav a.split_all {

  padding: 25px 10px;
  background: white;
  color: black;
}


.topnav a.split_all:hover {
  text-decoration: none;
}

.topnav a.split_open:hover {
  text-decoration: none;
}

.topnav a.split_solved {

  padding: 25px 10px;
  background: #8FBC8F;
  color: black;
}


.topnav a.split_solved:hover {
  text-decoration: none;
}


body {
	margin: 0;
	padding: 0;
	font-family: Arial, sans-serif;
	background-color: #F8F0E3;
}

a {
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

.problem-box {
  padding: 20px;
  flex-direction: column;
  margin: 0 auto;
  max-width:90%;
}


.problem-text {
  display: block;
  width: fit-content;
  border-radius: 25px;
  border: 1px solid black;
  background-color : #8FBC8F;
  padding: 20px;
  margin: 20px auto;
  text-align: center;
  flex-grow: 1;
}

.problem-text ol {
  text-align: left;
}

.proof {
  display: block;
  width: 60%;
  border-radius: 25px;
  border: 1px dashed black;
  background-color : lightgray;
  padding: 20px;
  margin: 20px auto;
  text-align: left;
  flex-grow: 1;
}
      
.proof #label {
  position: relative;
  border-radius: 10px;
  padding: 10px;
  width: fit-content;
  background : lightgray;
  border: 1px solid black;
  left: -30px;
  top: -30px;
  font-family: Lucida Sans Typewriter,Lucida Console,monaco,Bitstream Vera Sans Mono,monospace; 
  font-size: 10px;
  margin-bottom: -10px;
}              

.problem-text #prize {
  position: relative;
  border-radius: 10px;
  padding: 10px;
  width: fit-content;
  background : lightgray;
  border: 1px solid black;
  left: -30px;
  top: -30px;
  font-family: Lucida Sans Typewriter,Lucida Console,monaco,Bitstream Vera Sans Mono,monospace; 
  font-size: 15px;
  margin-bottom: -10px;
}

.problem-additional-text {
  border-radius: 25px;
  text-align: left;
  margin-top: 20px;
}

.paper-title {
  display: block;
  width: 60%;
  border-radius: 25px;
  border: 2px solid black;
  padding: 10px;
  margin: 40px auto;
  text-align: center;
  flex-grow: 1;
}
                    
.paper-title #title {
  font-variant: small-caps;
  font-size: x-large;
}

.paper-title #joint {
  position: relative;
  border-radius: 10px;
  padding: 10px;
  width: fit-content;
  background : lightgray;
  border: 1px solid black;
  left: -30px;
  top: -30px;
  font-family: Lucida Sans Typewriter,Lucida Console,monaco,Bitstream Vera Sans Mono,monospace; 
  font-size: 15px;
  margin-bottom: -10px;
}

.paper-abs {
  border-radius: 25px;
  text-align: left;
  border: 2px dashed black;
  margin: 20px 0;
  padding : 20px;
}

.gen-block {
  display: block;
  width: fit-content;
  border-radius: 25px;
  border: 1px solid black;
  background-color : #8FBC8F;
  padding: 20px;
  margin: 20px auto;
  text-align: left;
  flex-grow: 1;
}


textarea {
  width: 80%;
}

ul li {
    margin-bottom: 10px;
}

ol li {
    margin-bottom: 10px;
}

.bibliography {
    display: block;
    list-style-type: none; /* Remove bullet points */
    max-width: 80%;
    background : lightgray;
    padding : 20px;
}

.bibliography li {
    margin-bottom: 10px; /* Add some space between items */
}

table {
    width: 50%; /* Adjust the width as needed */
    margin: 20px auto; /* Center the table horizontally */
    border-collapse: collapse; /* Removes the space between borders */
    font-family: Arial, sans-serif; /* Styling the font */
}

th, td {
    border: 1px solid #ddd; /* Light grey border */
    text-align: center; /* Align text to the left */
    padding: 8px; /* Padding inside cells */
}

th {
    background-color: #e0e0e0; /* Light grey background for the header */
    text-align: center; /* Center-align text in header */
}

tbody tr {
    background-color: #f9f9f9; /* Zebra striping for rows */
}

.small-text {
            font-size: 0.8em; /* Smaller font size */
}

 .midgray {
    background-color: #f2f2f2;
        }
        
         .best {
    background-color: #66FF99;
        }
        
.unbroken-separator {
    border-bottom: 3px solid black; /* Thicker bottom border for unbroken separators */
}