body {
  max-width: 720px;
  margin: 2em auto;
  padding: 0 1.5em;
  font-family: "Computer Modern Serif", "Latin Modern Roman", "Nimbus Roman No9 L", "Times New Roman", Times, serif;
  font-size: 16px;
  line-height: 1.5;
  color: #333;
}

h1, h2, h3, h4 {
  color: #111;
  line-height: 1.25;
  margin-top: 1.8em;
  margin-bottom: 0.5em;
}

h1 {
  font-size: 1.6em;
  text-align: center;
  margin-top: 1em;
}

h2 { font-size: 1.25em; }
h3 { font-size: 1.1em; }

p { margin: 0.8em 0; text-align: justify; }

a { color: #1a0dab; text-decoration: none; }
a:hover { text-decoration: underline; }

blockquote {
  border-left: 3px solid #ccc;
  margin: 1em 0;
  padding: 0.5em 1em;
  color: #555;
}

pre {
  background: #f5f5f5;
  border: 1px solid #ddd;
  border-radius: 3px;
  padding: 0.8em 1em;
  overflow-x: auto;
  font-size: 0.88em;
  line-height: 1.4;
}

code {
  font-family: "Courier New", Courier, monospace;
  font-size: 0.92em;
}

p > code, li > code {
  background: #f5f5f5;
  padding: 0.15em 0.3em;
  border-radius: 2px;
}

figure {
  text-align: center;
  margin: 1.5em 0;
}

figure img {
  max-width: 100%;
}

figcaption {
  font-size: 0.9em;
  color: #555;
  margin-top: 0.5em;
  text-align: justify;
}

ol, ul {
  margin: 0.8em 0;
  padding-left: 2em;
}

li { margin: 0.3em 0; }

hr {
  border: none;
  border-top: 1px solid #ccc;
  margin: 2em 0;
}

#refs {
  font-size: 0.9em;
}

#refs p {
  text-align: left;
  padding-left: 2em;
  text-indent: -2em;
}

@media (max-width: 600px) {
  body { padding: 0 1em; font-size: 15px; }
}