/* Base Reset */
body {
  font-family: Arial, sans-serif;
  font-size: 1rem;
  line-height: 1.6;
  color: #eee;
  background-color: #111;
  margin: 0;
  padding: 0;
}

header {
  text-align: center;
  padding: 2rem 1rem 1rem;
  border-bottom: 1px solid #333;
}

.logo {
  height: 80px;
  margin-bottom: 1rem;
}

.logo-link img {
  height: 80px;
  margin-bottom: 1rem;
  vertical-align: middle;
}

main, .container {
  max-width: 1000px;
  margin: 0 auto;
  padding: 2em;
}

/* Headings */
h1, h2, h3 {
  color: #fff;
  font-weight: 600;
  margin-top: 2rem;
  margin-bottom: 1rem;
  line-height: 1.3;
}

h1 {
  font-size: 2rem;
}

h2 {
  font-size: 1.5rem;
}

h3 {
  font-size: 1.25rem;
}

/* Paragraphs */
p {
  margin-bottom: 1.25rem;
}

/* Links */
a {
  color: #7cf;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
  color: #9df;
}

.input-row {
  display: flex;
  gap: 1em;
  align-items: center;
  margin-top: 0.5em;
}

label {
  color: #eee;
}

#t_min {
  width: 60px;
}

#t_max {
  width: 60px;
}

#num_primes {
  width: 60px;
}

#sigma_a {
  width: 30px;
}

#sigma_b {
  width: 30px;
}

/* Download Buttons */
.btn-download {
  display: inline-block;
  background-color: #333;
  color: #fff;
  padding: 0.5rem 1.2rem;
  border-radius: 4px;
  text-decoration: none;
  font-weight: 500;
  transition: background-color 0.3s ease;
  margin-top: 1rem;
  margin-bottom: 2rem;
}

.btn-download:hover {
  background-color: #555;
}

/* Horizontal rules */
hr {
  border: none;
  height: 1px;
  background-color: #444;
  margin: 2.5rem 0;
}

/* Navigation */
nav {
  background-color: #222;
  padding: 1em;
  text-align: left;
  border-bottom: 1px solid #444;
}

nav a {
  margin: 0 1em;
  font-weight: bold;
}

.tree-container {
  overflow-x: auto;
  white-space: pre;
  font-family: monospace;
  font-size: clamp(0.7rem, 1.4vw, 1.1rem); /* mniejsze minimum */
  line-height: 1.5;
  padding: 0.1rem 0.5rem 0.1rem 0.5rem;
  margin-bottom: 0.1rem;
  margin: 0;
  background-color: transparent;
  color: #ccc;
  box-sizing: border-box;
  text-align: left;
}

.tree-container a {
  color: #7cf;
  text-decoration: none;
}

.tree-container a:hover {
  text-decoration: underline;
}

.tree-container strong {
  color: #0ff;
}

/* PDF titles */
.pdf-title {
  margin: 1em 0 0.5em;
  font-size: 1.2em;
}

/* Iframes */
iframe {
  width: 100%;
  height: 2000px;
  border: none;
  background-color: #222;
}

/* Footer */
footer {
  font-size: 0.9rem;
  color: #ccc;
  padding: 2em;
  text-align: center;
  border-top: 1px solid #444;
  background-color: #222;
}

footer a {
  color: #7cf;
}

footer a:hover {
  color: #9df;
}