/* Welcome to Compass.
 * In this file you should write your main styles. (or centralize your imports)
 * Import this file using the following HTML or equivalent:
 * <link href="/stylesheets/screen.css" media="screen, projection" rel="stylesheet" type="text/css" /> */
/*********************
BASE (MOBILE) SIZE
This are the mobile styles. It's what people see on their phones. If
you set a great foundation, you won't need to add too many styles in
the other stylesheets. Remember, keep it light: Speed is Important.
*********************/
/* line 1, ../sass/breakpoints/_base.scss */
html {
  font-family: "Bitstream Vera Sans", Verdana, sans-serif;
  font-size: 12pt;
}

/* line 6, ../sass/breakpoints/_base.scss */
body {
  padding-left: 1%;
  padding-right: 1%;
  margin: 0px;
  color: #000;
  background: #99F none repeat scroll 0 0;
}

/* line 19, ../sass/breakpoints/_base.scss */
header h1 {
  padding-top: 1%;
  padding-bottom: 1%;
  font-family: 'Alegreya SC', serif;
}

/* line 28, ../sass/breakpoints/_base.scss */
div#content {
  background: #fff;
  margin: 0;
  padding-top: 1em;
  padding-left: 2em;
  padding-right: 2em;
  padding-bottom: 2em;
}

/* line 41, ../sass/breakpoints/_base.scss */
div p:first-child {
  margin-top: 0.125em;
}

/* Fancy underlines. */
/* line 48, ../sass/breakpoints/_base.scss */
h2 {
  padding-bottom: 4px;
  margin-top: 5px;
  margin-bottom: 5px;
  border-bottom: thin dotted #99F;
  font-family: 'Alegreya SC', serif;
}

/* line 56, ../sass/breakpoints/_base.scss */
h3 {
  font-family: 'Alegreya SC', serif;
  margin-bottom: 1px;
}

/* line 63, ../sass/breakpoints/_base.scss */
h4 {
  font-family: 'Alegreya SC', serif;
  font-size: 1.18em;
  margin-bottom: 1px;
}

/* line 71, ../sass/breakpoints/_base.scss */
p.author
p.date
p.creator {
  padding: 0em;
}

/* line 77, ../sass/breakpoints/_base.scss */
.title {
  text-align: center;
}

/* line 78, ../sass/breakpoints/_base.scss */
.todo {
  color: red;
}

/* line 79, ../sass/breakpoints/_base.scss */
.done {
  color: green;
}

/* line 80, ../sass/breakpoints/_base.scss */
.tag {
  background-color: #add8e6;
  font-weight: normal;
}

/* line 82, ../sass/breakpoints/_base.scss */
.timestamp {
  color: #bebebe;
}

/* line 83, ../sass/breakpoints/_base.scss */
.timestamp-kwd {
  color: #5f9ea0;
}

/* line 84, ../sass/breakpoints/_base.scss */
p.verse {
  margin-left: 3%;
}

/* line 85, ../sass/breakpoints/_base.scss */
pre {
  border: 1pt solid #AEBDCC;
  background-color: #F3F5F7;
  padding: 5pt;
  font-family: courier, monospace;
  font-size: 90%;
  overflow: auto;
}

/* line 93, ../sass/breakpoints/_base.scss */
table {
  border-collapse: collapse;
}

/* line 94, ../sass/breakpoints/_base.scss */
td, th {
  vertical-align: top;
}

/* line 95, ../sass/breakpoints/_base.scss */
dt {
  font-weight: bold;
}

/* line 96, ../sass/breakpoints/_base.scss */
div.figure {
  padding: 0.5em;
}

/* line 97, ../sass/breakpoints/_base.scss */
div.figure p {
  text-align: center;
}

/* line 98, ../sass/breakpoints/_base.scss */
textarea {
  overflow-x: auto;
}

/* line 99, ../sass/breakpoints/_base.scss */
.linenr {
  font-size: smaller;
}

/* line 100, ../sass/breakpoints/_base.scss */
.code-highlighted {
  background-color: #ffff00;
}

/* line 101, ../sass/breakpoints/_base.scss */
.org-info-js_info-navigation {
  border-style: none;
}

/* line 102, ../sass/breakpoints/_base.scss */
#org-info-js_console-label {
  font-size: 10px;
  font-weight: bold;
  white-space: nowrap;
}

/* line 104, ../sass/breakpoints/_base.scss */
.org-info-js_search-highlight {
  background-color: #ffff00;
  color: #000000;
  font-weight: bold;
}

/* Our logo and menu div. */
/* line 111, ../sass/breakpoints/_base.scss */
#tm-logo {
  text-align: center;
  width: 100%;
}

/* line 116, ../sass/breakpoints/_base.scss */
#table-of-contents {
  display: none;
}

/* line 120, ../sass/breakpoints/_base.scss */
#table-of-contents h2 {
  color: black;
  border-bottom: none;
}

/* line 125, ../sass/breakpoints/_base.scss */
#footnotes {
  font-size: 0.9em;
}

/* line 126, ../sass/breakpoints/_base.scss */
#text-footnotes p {
  margin: 0em;
}

/* line 128, ../sass/breakpoints/_base.scss */
#postamble {
  font-size: 0.8em;
}

/* line 132, ../sass/breakpoints/_base.scss */
#postamble p {
  margin: 0em;
  color: gray;
  text-align: right;
}

/* line 138, ../sass/breakpoints/_base.scss */
#leftfoot p {
  color: gray;
  text-align: left;
}

/* line 143, ../sass/breakpoints/_base.scss */
div#banners {
  text-align: center;
}

/* line 147, ../sass/breakpoints/_base.scss */
div#subbox {
  text-align: center;
  float: right;
  border: 1px solid #99C;
}

/* Style the calendar on the "Talks" page. */
/* line 154, ../sass/breakpoints/_base.scss */
div#talks-calendar {
  text-align: center;
  padding-top: 2%;
  padding-bottom: 5%;
}

/*********************
LARGER MOBILE DEVICES
This is for devices like the Galaxy Note or something that's
larger than an iPhone but smaller than a tablet. Let's call them
tweeners.
*********************/
/*********************
TABLET & SMALLER LAPTOPS
This is the average viewing window. So Desktops, Laptops, and
in general anyone not viewing on a mobile device. Here's where
you can add resource intensive styles.
*********************/
/*********************
DESKTOP
This is the average viewing window. So Desktops, Laptops, and
in general anyone not viewing on a mobile device. Here's where
you can add resource intensive styles.
*********************/
@media only screen and (min-width: 1030px) {
  /* Screens size 1030px and up */
  /* line 3, ../sass/breakpoints/_1030up.scss */
  body {
    padding-left: 2em;
    padding-right: 2em;
    margin: 0px;
  }

  /* line 13, ../sass/breakpoints/_1030up.scss */
  header h1 {
    padding-top: 1%;
    padding-bottom: 1%;
    font-family: 'Alegreya SC', serif;
    font-size: 3em;
  }

  /* line 23, ../sass/breakpoints/_1030up.scss */
  div#content {
    margin-left: 15%;
    margin-right: 15%;
    padding-top: 1em;
    padding-left: 2em;
    padding-right: 2em;
    padding-bottom: 2em;
  }

  /* line 36, ../sass/breakpoints/_1030up.scss */
  #table-of-contents {
    display: inline;
    background-color: #CCC;
    border: 1px solid #999;
    padding-top: 5px;
    padding-bottom: 5px;
    padding-left: 10px;
    padding-right: 10px;
    width: 15%;
    overflow: auto;
    right: 0;
    top: 0;
    position: fixed;
    font-size: 85%;
  }
  /* line 52, ../sass/breakpoints/_1030up.scss */
  #table-of-contents h2 {
    text-align: center;
  }

  /* line 59, ../sass/breakpoints/_1030up.scss */
  h2 {
    font-size: 1.8em;
  }

  /* line 63, ../sass/breakpoints/_1030up.scss */
  h3 {
    font-size: 1.3em;
  }

  /* line 67, ../sass/breakpoints/_1030up.scss */
  h4 {
    font-size: 1.2em;
  }
}