/* === Global Variables Adapted for Mintlify === */
:root {
  --mint-primary-color: #0e1344; /* Dark Blue */
  --mint-primary-light: #5565F9;
  --mint-text-color: #2d2d2d;
  --mint-background-color: #ffffff;
  --mint-sidebar-background: #f9f9f9;
  --mint-navbar-background: #0e1344;
  --mint-footer-background: #0e1344;
  --mint-link-color: var(--mint-primary-light);
}

/* === Dark Mode Variables === */
[data-theme='dark'] {
  --mint-primary-color: #000;
  --mint-primary-light: #5565F9;
  --mint-text-color: #f2f2f2;
  --mint-background-color: #1e1e1e;
  --mint-sidebar-background: #232323;
  --mint-navbar-background: #0e1344;
  --mint-footer-background: #0e1344;
  --mint-link-color: #55D799;
}

/* === Navbar Styling === 
.navbar, header, nav {
    color: var(--mint-navbar-text-color) !important;
    height: 60px;
    display: flex;
    align-items: center;
    padding: 0 20px;
}

.navbar a, nav a {
    color: var(--mint-navbar-text-color) !important;
    text-decoration: none;
    font-weight: bold;
    margin-right: 20px;
}

.navbar a:hover, nav a:hover {
    color: var(--mint-link-color) !important;
}
*/
/* === Sidebar Fix (Ensures Correct Width & Position) === 
.sidebar {
    background-color: var(--mint-sidebar-background) !important;
    width: 280px !important; /* Sidebar width */
    /*
    border-right: 1px solid rgba(0, 0, 0, 0.1);
    padding-top: 20px;
    position: fixed;
    left: 0;
    top: 60px; 
    bottom: 0;
    overflow-y: auto;
}


.sidebar a {
    color: var(--mint-text-color) !important;
    font-size: 16px;
    padding: 10px 20px;
    display: block;
}

.sidebar a:hover, .sidebar a.active {
    color: var(--mint-link-color) !important;
    background: rgba(0, 0, 0, 0.05);
}
*/
/* === Headings Styling === 
h1, h2, h3 {
    font-weight: bold;
}

h1 {
    font-size: 2rem;
    margin-bottom: 15px;
}

h2 {
    font-size: 1.6rem;
    margin-bottom: 10px;
}

h3 {
    font-size: 1.3rem;
    margin-bottom: 8px;
}
*/
/* === Footer Fix === 
footer {
    color: var(--mint-navbar-text-color) !important;
    text-align: center;
    padding: 15px 0;
    font-size: 14px;
    width: 100%;
    position: relative;
    bottom: 0;
}
*/
/* === Buttons Styling === 
.button {
    background-color: var(--mint-link-color) !important;
    color: white !important;
    padding: 10px 20px;
    border-radius: 5px;
    font-weight: bold;
    display: inline-block;
    text-align: center;
}

.button:hover {
    background-color: var(--mint-primary-color) !important;
}
*/
/* === Cards Styling === 
.card-container {
  display: grid;
  gap: 1rem;
  grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
  flex-wrap: wrap;
  justify-content: space-between;
}
*/
/* Individual Card Styling 
.card {
  border: 2px solid var(--mint-primary-color);
  border-radius: 25px;
  margin: 1rem 0;
  padding: 1rem;
  flex: 1 1 300px;
  min-width: 300px;
  position: relative;
  background-clip: padding-box;
  box-shadow: 0 4px 8px rgba(0, 0, 0, 0.1);
  transition: box-shadow 0.3s ease-in-out;
}

.card:hover {
  border-color: #464545;
  box-shadow: 0 8px 16px rgba(0, 0, 0, 0.2);
}
*/
/* Custom Navbar Link Styling 
.navbar__link {
  transition: background-color 0.3s ease;
}

.navbar__link:hover {
  background-color: transparent;
  color: var(--mint-primary-light);
}
*/
/* Left Margin Adjustment 
.ml-180 {
  margin-left: 180px;
}
*/


/* General table styling */
table {
  width: 100%; /* Ensures it takes the correct width */
  border-collapse: collapse; /* Prevents spacing between borders */
  margin: 20px 0;
  table-layout: auto; /* Ensures column widths are based on content */
}

/* Table headers */
th {
  padding: 15px 30px !important;
  border: 1px solid #555;
  text-align: left;
  width: auto; /* Prevents extra empty columns */
}

/* Table cells */
td {
  padding: 15px 30px !important;
  border: 1px solid #555;
  text-align: left;
  width: auto; /* Auto adjusts column size based on content */
}

/* Ensures no extra blank columns */
tr > td:last-child {
  width: auto !important;
}

/* Alternating row colors for readability */
tr:nth-child(even) {
  background-color: rgba(255, 255, 255, 0.05); /* Slightly shaded */
}


/**
 * CSS files with the .module.css suffix will be treated as CSS modules
 * and scoped locally.


 .heroBanner {
  padding: 4rem 0;
  text-align: center;
  position: relative;
  overflow: hidden;
  background: #0e1344 !important;
}

@media screen and (max-width: 996px) {
  .heroBanner {
    padding: 2rem;
  }
}

.buttons {
  display: flex;
  align-items: center;
  justify-content: center;
}
 */


Supported Platforms

Supported Compilers

Supported Python versions