/* Style for the quick reference
 * copied and modified from web/manual.css 
 */

body {
  margin: 0 auto;
  width: 40em;

  font-size: large;
  line-height: 1.4;
  color: #444;
}

p, ul, ol {
  margin-left: 2em;
}

/* h1 is the title
 * h2 is the first level shown in TOC
 * h3 is the second and last level shown in TOC
 */
h1 {
  font-size: 1.5em;  /* reduce to what browsers apparently use for h2 */
}

h2 {
  font-size: 1.2em;  /* reduce to what browsers apparently use for h3 */
}

h3 {
  font-size: 1em;
  /* margin-left: 2em; */
  padding: 1em; 
  background-color: lavender;
}

h4 {
  font-size: 1em;

  text-align: center;
  /*
  text-align: right;
  margin-right: 3em;
  */

  /* margin-left: 2em; */
  /* font-family: monospace; */

  color: darkblue;  /* different than blog */
}


/* blocks of code */
pre {
  background-color: #eee;
  padding: 1em;
  margin-left: 2em;
}

/* inline code 
 *
 * BUG FIX: Selector is 'p code' and not 'code' because markdown generates
 * <pre><code> pairs from indented blocks for some reason, and they would
 * interfere only in Chrome.
 */
p code, li code, h2 code, h3 code, div code {
  background-color: #eee;
  padding: 4px;
}

#home-link {
  text-align: right;
}

#version-in-header {
  color: darkgreen;
  font-weight: bold;
}