@charset "utf-8";
/* Basic stylesheet for default fonts and colors
   Created 2017-05-22
   Modified 2017-05-23
   Henry Hedden */
@import url(http://fonts.googleapis.com/css?family=Roboto+Slab:700);
@import url(http://fonts.googleapis.com/css?family=Alef:400,700);

body {
	background: #f0fff8;
	font-family: Alef, "DejaVu Sans", sans-serif;
}

h1, h2, h3 {
	font-family: "Roboto Slab", "DejaVu Serif", serif;
}

code, pre { font-family: "Ubuntu Mono", "DejaVu Sans Mono", monospace; }