/* Used for the example */
.green {
  color: green;
}

/* Rules to make the page nicer */

body {
  padding: 0 20px;
  background: #fafafa;
  color: #333;
  font-size: 16px;
}

#header {
  text-align: center;
  color: #fdfdfd;
  text-shadow: 0 0 1px #000;
  padding: 20px 5px 40px;
  border-bottom: 1px solid #ddd;
  margin: 0 -35px 30px;
  background: url('header.png');
}

#title {
  font-size: 5em;
  text-shadow: 0 0 5px #000;
  line-height: 1.2;
  margin-bottom: 15px;
}

#subtitle {
  font-size: 2em;
  margin-bottom: 15px;
  line-height: 1.1;
}

#subsubtitle {
  font-size: 1.3em;
}

#subsubtitle a {
  color: #fdfdfd;
  text-decoration: underline;
}

@media only screen and (max-width: 979px) {
  #header {
    padding: 15px 5px 35px;
  }
  #title {
    font-size: 4em;
  }
  #subtitle {
    font-size: 1.7em;
  }
  #subsubtitle {
    font-size: 1.2em;
  }
}

@media only screen and (max-width: 767px) {
  #title {
    font-size: 3.5em;
  }
  #subtitle {
    font-size: 1.5em;
  }
  #subsubtitle {
    font-size: 1.1em;
  }
}

.section-title {
  font-weight: bold;
  margin-top: 0;
}

.well {
  background: #FFFFFF;
}

#runcode_expr {
  height: auto;
  font-size: 22px;
}

#runcode_run {
  font-weight: bold;
  font-size: 16px;
  padding: 5px 20px;
}

#test {
  font-size: 20px;
  margin: 30px 0;
}

#btn {
  font-size: 20px;
  background: #e0e0e0;
}

#examples-list a {
  cursor: pointer;
  font-family: monospace;
}
