/* Formatting for text paragraphs */

body {
  font-family: Arial, Helvetica, sans-serif;
  max-width:   75ch;
}

/* Formatting for a code element within a line (e.g. an indentifier) */

code {
  background:  #EEEEEE;
  font-size:   120%;
  font-weight: bold;
}

/* Formatting for a multiline code fragment */

pre {
  background:  #EEEEEE;
  display:     block;
  font-size:   120%;
  font-weight: bold;
  white-space: pre;
  min-width:   stretch;
  width:       fit-content;
}

/* Formatting for list items */

ul {
  list-style-position: inside;
  list-style-type: none;
  padding-inline-start: 0;
}

/* Formatting for navigation buttons */

.previous {
  background-color: #4CAF50;
  color: white;
  text-decoration: none;
  display: inline-block;
  padding: 8px 16px;
}

.home {
  background-color: #4CAF50;
  color: white;
  text-decoration: none;
  display: inline-block;
  padding: 8px 16px;
}

.next {
  background-color: #4CAF50;
  color: white;
  text-decoration: none;
  display: inline-block;
  padding: 8px 16px;
}