/*
 * box model like it should be
 *
 * http://www.paulirish.com/2012/box-sizing-border-box-ftw/
 */
html {
  box-sizing: border-box;
}

*,
*:before,
*:after {
  box-sizing: inherit;
}

/* red */
body {
  font-family: Helvetica, Arial, sans-serif;
  color: #515151;
  background-color: #fff;
  padding: 40px;
  max-width: 1200px;
  margin: auto;
}

h1, h2, h3, h4, h5, h6 {
  color: #313131;
}

h1 {
  margin-bottom: 40px;
}

h2 {
  font-weight: bold;
  margin-bottom: 20px;
}

ul {
  list-style-type: square;
}

span.highlight {
  background-color: yellow;
  font-weight: bold;
}

a, a:visited {
  color: #b00800;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

#header {
  padding: 0.25em;
}
#header .big {
  font-size: 340%;
  font-weight: bold;
  margin-bottom: 20px;
}
#header .small {
  font-size: 120%;
  opacity: 0.4;
}

#footer {
  margin-top: 80px;
  text-align: center;
  font-size: 80%;
  opacity: 0.6;
}

#nav {
  padding: 0.5em;
}
#nav a, #nav a:visited {
  text-decoration: none;
}
#nav a:hover {
  text-decoration: underline;
}

#content {
  padding: 0.5em;
  line-height: 1.5;
}

/* fix: use javascript?? jquery to add .programlisting class
  to pre tags followed by code e.g. <pre><code> => <pre class='programlisting'><code>

   for now assume all pres are programlistings
*/
pre,
.programlisting {
  padding: 4px 4px 4px 4px;
  border-top: #bbb 1px solid;
  border-bottom: #bbb 1px solid;
  background: #f3f3f3;
}

.toc {
  float: right;
  margin-top: 80px;
  margin-bottom: 20px;
  margin-left: 20px;
  padding: 15px 30px;
  border: #ddd solid 1pt;
  border-radius: 3px;
  background-color: rgba(238, 238, 238, 0.4);
  /* first paragraph in toc is toc-title;
          use prediciate too to make sure we only get the first one??
          e.g. p:first-child ??   */
}
.toc ul {
  margin: 0;
  padding: 15px;
}
.toc p {
  text-align: center;
  font-weight: bold;
}

.language {
  font-weight: 200;
  margin-top: 30px;
  border-bottom: 1px solid #eee;
}

.sites {
  display: flex;
  flex-direction: row;
  flex-wrap: wrap;
}

.site {
  flex-basis: 25%;
  padding: 30px 0;
}
.site .site-link {
  font-size: 20px;
  font-weight: 800;
}
.site .site-links {
  font-size: 11px;
}
.site .site-source-link {
  border-right: 1px solid grey;
  padding-right: 4px;
}