body {
    font-family: Arial, sans-serif;
    margin: 40px;
}

form {
    margin-bottom: 30px;
}

.tables-container {
    display: flex;
    gap: 20px;
}

table, th, td {
    border: 1px solid #aaa;
    border-collapse: collapse;
    padding: 8px;
}

th {
    background: #eee;
}

table {
    min-width: 250px;
}
.top-bar {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 12px 24px;
    background-color: #222;
}

.top-bar a {
    color: white;
    margin-left: 16px;
    text-decoration: none;
}

.logo a {
    font-weight: bold;
    font-size: 1.2em;
}
.todo-list {
  list-style: none; /* remove bullets */
  padding: 0;
  max-width: 300px;
  margin: 0 auto;
  font-family: Arial, sans-serif;
}

.todo-list li {
  padding: 10px;
  border-bottom: 1px solid #ddd;
  transition: all 0.3s ease;
}

/* Lineout/strike-through completed items */
.todo-list li.completed {
  text-decoration: line-through;
  color: #888;
  opacity: 0.7;
}
.whitepaper {
  font-family: "Georgia", "Times New Roman", serif;
  line-height: 1.6;
  max-width: 900px;
  margin: 40px auto;
  padding: 0 20px;
  color: #111;
}

.whitepaper h1,
.whitepaper h2,
.whitepaper h3 {
  font-family: "Helvetica Neue", Arial, sans-serif;
  margin-top: 1.5em;
}

.whitepaper h1 {
  font-size: 2.2em;
  margin-bottom: 0.2em;
}

.whitepaper h2 {
  border-bottom: 2px solid #ddd;
  padding-bottom: 0.2em;
}

.whitepaper h3 {
  margin-top: 1em;
}

.whitepaper .subtitle {
  font-size: 1.1em;
  color: #444;
}

.whitepaper .meta {
  margin-top: 10px;
  margin-bottom: 30px;
  font-style: italic;
}

.whitepaper .abstract {
  background: #f7f7f7;
  border-left: 4px solid #555;
  padding: 15px 20px;
  margin: 30px 0;
}

.whitepaper ul {
  margin-left: 20px;
}

.whitepaper pre {
  background: #1e1e1e;
  color: #f5f5f5;
  padding: 15px;
  overflow-x: auto;
  border-radius: 4px;
  font-size: 0.9em;
}

.whitepaper code {
  font-family: "Courier New", monospace;
}

.whitepaper .equation {
  margin: 15px 0;
  padding-left: 20px;
  font-family: "Courier New", monospace;
}

.whitepaper .figure {
  margin: 20px 0;
  padding: 15px;
  background: #fafafa;
  border: 1px solid #ccc;
  text-align: center;
  color: #666;
}

.whitepaper footer {
  margin-top: 60px;
  padding-top: 20px;
  border-top: 1px solid #ddd;
  font-size: 0.9em;
  color: #555;
}
 body {
        font-family: "Georgia", "Times New Roman", serif;
        line-height: 1.4;
        max-width: 800px;
        margin: 1em auto;
        padding: 1em 2em;
        background-color: #fff;
        color: #222;
    }
    h1 {
        font-size: 1.6em;
        margin-bottom: 0.2em;
    }
    h2 {
        font-size: 1.2em;
        margin-top: 1em;
        margin-bottom: 0.2em;
    }
    p, ul {
        margin-bottom: 0.8em;
    }
    ul {
        margin-left: 1.2em;
    }