/* Curious OCaml - Site Stylesheet */

:root {
  --text-color: #333;
  --bg-color: #fff;
  --link-color: #c55a11;
  --link-hover: #a04000;
  --code-bg: #f5f5f5;
  --code-border: #ddd;
  --toc-bg: #fafafa;
  --heading-color: #222;
  --max-width: 50rem;
}

* {
  box-sizing: border-box;
}

html {
  font-size: 18px;
  line-height: 1.6;
}

body {
  font-family: Georgia, 'Times New Roman', serif;
  color: var(--text-color);
  background-color: var(--bg-color);
  max-width: var(--max-width);
  margin: 0 auto;
  padding: 2rem 1.5rem;
}

/* Headings */
h1, h2, h3, h4, h5, h6 {
  font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
  color: var(--heading-color);
  margin-top: 1.5em;
  margin-bottom: 0.5em;
  line-height: 1.3;
}

h1 { font-size: 2rem; border-bottom: 2px solid var(--link-color); padding-bottom: 0.3em; }
h2 { font-size: 1.6rem; }
h3 { font-size: 1.3rem; }
h4 { font-size: 1.1rem; }

/* Links */
a {
  color: var(--link-color);
  text-decoration: none;
}

a:hover {
  color: var(--link-hover);
  text-decoration: underline;
}

/* Code */
code {
  font-family: 'Source Code Pro', 'Menlo', 'Monaco', 'Consolas', monospace;
  font-size: 0.9em;
  background-color: var(--code-bg);
  padding: 0.15em 0.3em;
  border-radius: 3px;
}

pre {
  background-color: var(--code-bg);
  border: 1px solid var(--code-border);
  border-radius: 5px;
  padding: 1em;
  overflow-x: auto;
  line-height: 1.4;
}

pre code {
  background: none;
  padding: 0;
  font-size: 0.85rem;
}

/* Table of Contents */
#TOC, nav#TOC {
  background-color: var(--toc-bg);
  border: 1px solid var(--code-border);
  border-radius: 5px;
  padding: 1em 1.5em;
  margin-bottom: 2em;
}

#TOC ul {
  list-style: none;
  padding-left: 1.2em;
  margin: 0.3em 0;
}

#TOC > ul {
  padding-left: 0;
}

#TOC li {
  margin: 0.2em 0;
}

#TOC a {
  color: var(--text-color);
}

#TOC a:hover {
  color: var(--link-color);
}

/* Lists */
ul, ol {
  padding-left: 1.5em;
}

li {
  margin: 0.3em 0;
}

/* Blockquotes */
blockquote {
  border-left: 4px solid var(--link-color);
  margin: 1em 0;
  padding: 0.5em 1em;
  background-color: var(--toc-bg);
}

blockquote p {
  margin: 0.5em 0;
}

/* Tables */
table {
  border-collapse: collapse;
  width: 100%;
  margin: 1em 0;
}

th, td {
  border: 1px solid var(--code-border);
  padding: 0.5em 0.75em;
  text-align: left;
}

th {
  background-color: var(--toc-bg);
}

/* Images */
img {
  max-width: 100%;
  height: auto;
  display: block;
  margin: 1em auto;
}

/* Math (KaTeX) */
.katex-display {
  overflow-x: auto;
  overflow-y: hidden;
}

/* Title/Header */
header {
  margin-bottom: 2em;
}

.title {
  font-size: 2.2rem;
  margin-bottom: 0.2em;
}

.author, .date {
  color: #666;
  font-style: italic;
}

/* Paragraphs */
p {
  margin: 1em 0;
}

/* Horizontal rule */
hr {
  border: none;
  border-top: 1px solid var(--code-border);
  margin: 2em 0;
}

/* Print styles */
@media print {
  body {
    max-width: none;
    padding: 0;
  }

  pre {
    white-space: pre-wrap;
    word-wrap: break-word;
  }
}

/* Responsive */
@media (max-width: 600px) {
  html {
    font-size: 16px;
  }

  body {
    padding: 1rem;
  }

  h1 { font-size: 1.6rem; }
  h2 { font-size: 1.4rem; }
}

/* Landing page specific */
.landing {
  text-align: center;
  padding-top: 3rem;
}

.landing h1 {
  border-bottom: none;
  font-size: 2.5rem;
}

.landing .subtitle {
  font-size: 1.2rem;
  color: #666;
  margin-bottom: 3rem;
}

.book-links {
  display: flex;
  flex-direction: column;
  gap: 1.5rem;
  max-width: 400px;
  margin: 0 auto;
}

.book-link {
  display: block;
  padding: 1.2rem 1.5rem;
  background-color: var(--toc-bg);
  border: 1px solid var(--code-border);
  border-radius: 8px;
  transition: border-color 0.2s, box-shadow 0.2s;
}

.book-link:hover {
  border-color: var(--link-color);
  box-shadow: 0 2px 8px rgba(0,0,0,0.1);
  text-decoration: none;
}

.book-link h2 {
  margin: 0 0 0.3rem 0;
  font-size: 1.3rem;
}

.book-link p {
  margin: 0;
  color: #666;
  font-size: 0.9rem;
}