/* colors based on: 
http://www.colourlovers.com/palette/292482/Terra

other possibilities:
http://www.colourlovers.com/palette/3034953/I_Love_Myself_Most
 */
body {
  color: #031634;
  background-color: #E8DDCB;
  font-size: 14pt;
}

a {
  color: #036564;
  text-decoration: underline;
}

a:hover {
  background-color: #CDB380;
}

nav a {
  color: #033649;
  text-decoration: none;
  font-size: 200%;
  display: block;
}

nav a:hover {
  background-color: #CDB380;
  color: #033649;
  text-decoration: none;
  font-size: 200%;
}

nav ul {
  list-style-type: none;
  padding-left: 0;
}

pre {
  font-size: 12pt;
  padding: .2em;
  margin-bottom: .5em;
}

code {
  color: #033649;
  background-color: inherit;
  font-weight: bold;
}

div.big-img {
  background-color: #CDB380;
}

div.big-img > img {
  display: block;
  margin: 0 auto 1em auto;
}

p.social a {
  margin-right: 1em;
  text-decoration: none;
}


header a,
header a:visited {
  line-height: 90%;
  color: #031634;
  text-decoration:none;
}

header a:hover {
  color:#333;
  text-decoration:none;
}

header {
  font-size:24pt;
  font-weight:bold;
  margin-bottom: 20px;
  border-bottom: 3px #031634 double;
}

div#linux-boot-params-text {
  font-size: 12pt;
}
div#linux-boot-params-text pre {
  font-size: 10pt;
  background-color: inherit;
  color: black;
  overflow-x: visible;
}

strong {
  color: #033649;
}

h1, h2, h3 {
  color: #031634;
  color: #036564;
}

/* django_pygments customization */
div.highlight pre ol {
  list-style-type: none;
  padding-left: 0;
}

div.highlight {
  background-color: #E8DDCB;
}

div.highlight pre {
  background-color: #F4F4F4;
}

.byline {
  font-style: italic;
  font-size: 12pt;
  margin-bottom: 2em;
}

div.home-intro {
  font-size: .9em;
}

div.home-intro p {
  margin-bottom: 1.5em;
}