/**
 * Reset some basic elements
 */
body, h1, h2, h3, h4, h5, h6,
p, blockquote, pre, hr,
dl, dd, ol, ul, figure {
  margin: 0;
  padding: 0; }

/**
 * Basic styling
 */
body {
  font: 200 16px/1.5 "Helvetica Neue", Helvetica, Arial, sans-serif;
  color: #fff;
  background: linear-gradient(to right, #fff 0%, #fff 50%, #e4f1f4 50%, #e4f1f4 100%);
  -webkit-text-size-adjust: 100%;
  -webkit-font-feature-settings: "kern" 1;
  -moz-font-feature-settings: "kern" 1;
  -o-font-feature-settings: "kern" 1;
  font-feature-settings: "kern" 1;
  font-kerning: normal; }

/**
 * Set `margin-bottom` to maintain vertical rhythm
 */
h1, h2, h3, h4, h5, h6,
p, blockquote, pre,
ul, ol, dl, figure {
  margin-bottom: 15px; }

/**
 * Images
 */
img {
  max-width: 100%;
  vertical-align: middle; }

/**
 * Figures
 */
figure > img {
  display: block; }

figcaption {
  font-size: 14px; }

/**
 * Lists
 */
ul, ol {
  margin-left: 30px; }

li > ul,
li > ol {
  margin-bottom: 0; }

/**
 * Headings
 */
h1, h2, h3, h4, h5, h6 {
  font-weight: 200; }

/**
 * Links
 */
a {
  color: #f26527;
  text-decoration: none; }
  a:visited {
    color: #c1430c; }
  a:hover {
    color: #fff;
    text-decoration: underline; }

/**
 * Blockquotes
 */
blockquote {
  color: #828282;
  border-left: 4px solid #e8e8e8;
  padding-left: 15px;
  font-size: 18px;
  letter-spacing: -1px;
  font-style: italic; }
  blockquote > :last-child {
    margin-bottom: 0; }

/**
 * Code formatting
 */
pre,
code {
  font-size: 15px;
  border: 1px solid #e8e8e8;
  border-radius: 3px;
  background-color: #eef; }

code {
  padding: 1px 5px; }

pre {
  padding: 8px 12px;
  overflow-x: auto; }
  pre > code {
    border: 0;
    padding-right: 0;
    padding-left: 0; }

/**
 * Clearfix
 */
/**
 * Icons
 */
.icon > svg {
  display: inline-block;
  width: 16px;
  height: 16px;
  vertical-align: middle; }
  .icon > svg path {
    fill: #828282; }

a:link, a:visited {
  text-decoration: none;
  color: #f26527;
  font-weight: 700;
  border-bottom: 2px solid rgba(34, 73, 81, 0.8);
  -webkit-transition: color .1s ease-in;
  -moz-transition: color .1s ease-in;
  -ms-transition: color .1s ease-in;
  -o-transition: color .1s ease-in;
  transition: color .1s ease-in; }

a:hover {
  text-decoration: none;
  color: #da4323;
  -webkit-transition: color .2s ease-in;
  -moz-transition: color .2s ease-in;
  -ms-transition: color .2s ease-in;
  -o-transition: color .2s ease-in;
  transition: color .2s ease-in; }

.blue-stripe-top {
  position: relative;
  z-index: 100;
  background-color: #002b37;
  max-height: 106px; }

.white-wrapper {
  position: relative;
  z-index: 100;
  background-color: #fff; }

.main {
  background-color: #fff; }

.no-border {
  border-bottom: none; }

.orange {
  color: #f26527; }

.w500 {
  font-weight: 500; }

.splash {
  text-align: center;
  min-height: 540px;
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 100;
  font-size: 42px; }

.inner-splash {
  padding-top: 260px; }

.circular {
  margin-left: auto;
  margin-right: auto;
  margin-bottom: 14px;
  width: 125px;
  height: 125px;
  border-radius: 75px;
  -webkit-border-radius: 75px;
  -moz-border-radius: 75px; }

.circular.heather {
  background-image: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/img/heather.png"); }

@media all and (-webkit-min-device-pixel-ratio: 1.5) {
  .circular.heather {
    background-image: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/img/heather@2x.png");
    background-size: 125px 125px; } }
.circular.jon {
  background-image: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/img/jon.png"); }

@media all and (-webkit-min-device-pixel-ratio: 1.5) {
  .circular.jon {
    background-image: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/img/jon@2x.png");
    background-size: 125px 125px; } }
.circular.martin {
  background-image: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/img/martin.png"); }

@media all and (-webkit-min-device-pixel-ratio: 1.5) {
  .circular.martin {
    background-image: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/img/martin@2x.png");
    background-size: 125px 125px; } }
@font-face {
  font-family: 'EntypoRegular';
  src: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/entypo.eot");
  src: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/entypo.eot#iefix") format("embedded-opentype"), url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/entypo.woff") format("woff"), url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/entypo.ttf") format("truetype"), url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/entypo.svg#EntypoRegular") format("svg");
  font-weight: normal;
  font-style: normal; }
.entypo {
  font-family: 'EntypoRegular';
  font-size: 2em;
  font-weight: normal;
  line-height: 0; }

.entypo.heart:before {
  content: '\2665';
  color: #f26527;
  font-style: normal; }

.entypo.check:before {
  content: '\2713';
  color: #f26527;
  font-style: normal; }

.entypo.dash:before {
  content: '\2796';
  color: #f26527;
  font-style: normal; }

.entypo.location:before {
  content: '\E724';
  color: #f26527;
  font-style: normal; }

.blurb {
  text-align: center;
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 100;
  font-size: 38px;
  line-height: 1.2em; }

.heavy {
  font-weight: 800; }

.focused-on {
  margin-top: 60px;
  text-align: center; }

.focused-on-elem {
  text-align: left;
  font-size: 28px; }

.num {
  font-family: "ff-market-web";
  font-weight: 400;
  font-style: normal;
  font-size: 60px;
  color: #f26527; }

@font-face {
  font-family: 'cubanoregular';
  src: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/cubano-regular-webfont.eot");
  src: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/cubano-regular-webfont.eot#iefix") format("embedded-opentype"), url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/cubano-regular-webfont.woff2") format("woff2"), url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/cubano-regular-webfont.woff") format("woff"), url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/cubano-regular-webfont.ttf") format("truetype"), url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/cubano-regular-webfont.svg#cubanoregular") format("svg");
  font-weight: normal;
  font-style: normal; }
@font-face {
  font-family: 'blanchcaps';
  src: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/blanch_caps-webfont.eot");
  src: url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/blanch_caps-webfont.eot#iefix") format("embedded-opentype"), url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/blanch_caps-webfont.woff2") format("woff2"), url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/blanch_caps-webfont.woff") format("woff"), url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/blanch_caps-webfont.ttf") format("truetype"), url("/National_Library/20161130034600oe_/http://scala.epfl.ch/resources/glyphs/blanch_caps-webfont.svg#blanchcaps") format("svg");
  font-weight: normal;
  font-style: normal; }
.centered {
  text-align: center; }

.vertical-spacer-bottom {
  padding-bottom: 60px; }

.vertical-spacer-top {
  padding-top: 60px; }

.dark-blue-stripe {
  position: relative;
  background-color: #002b37;
  min-height: 140px; }

.light-blue-stripe {
  position: relative;
  background-color: #224951;
  min-height: 140px; }

.mission .title {
  display: inline-block;
  max-width: 290px;
  text-align: center;
  font-family: 'blanchcaps';
  font-size: 60px;
  letter-spacing: 0.16em;
  line-height: 1em;
  border-bottom: solid 3px #fff;
  border-top: solid 1px #fff;
  margin-bottom: 18px; }

.mission ul {
  text-align: left;
  list-style-type: none;
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 100;
  font-size: 24px; }

.mission ul > li {
  border-left: solid 3px #fff;
  margin: 20px 0;
  padding-left: 18px; }

.open-source .title {
  display: inline-block;
  max-width: 300px;
  text-align: center;
  font-family: 'blanchcaps';
  font-size: 60px;
  letter-spacing: 0.16em;
  line-height: 1em;
  border-bottom: solid 3px #fff;
  border-top: solid 1px #fff;
  margin-bottom: 32px; }

.education .title {
  display: inline-block;
  max-width: 240px;
  text-align: center;
  font-family: 'blanchcaps';
  font-size: 60px;
  letter-spacing: 0.16em;
  line-height: 1em;
  border-bottom: solid 3px #fff;
  border-top: solid 1px #fff;
  margin-bottom: 32px; }

.moocs-coursera {
  font-family: "cubanoregular";
  font-size: 28px;
  color: #ffffff; }

.moocs-benefits,
.new-moocs,
.open-source-goals,
.course-list {
  max-width: 420px;
  list-style: none;
  margin-left: 0;
  padding-left: 1em;
  text-indent: -1em;
  margin: 0 auto;
  text-align: left;
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 400;
  font-size: 22px; }

.open-source-goals {
  color: #acbcc0; }

.moocs-benefits {
  color: #869ea3; }

.moocs-benefits > li,
.new-moocs > li,
.course-list > li {
  margin: 8px 0;
  line-height: 1.2em; }

.open-source-goals > li {
  margin: 10px 0;
  line-height: 1.2em; }

.course-list > li {
  font-size: 26px;
  margin: 12px 0; }

.course-list {
  max-width: 480px; }

.new-moocs {
  max-width: 300px; }

.coming-soon {
  font-family: "cubanoregular";
  font-size: 40px;
  color: #f26527;
  margin-top: 46px; }

.mini-degree {
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 100;
  font-size: 40px;
  line-height: 1.2em;
  margin-bottom: 44px; }

.what-is-mini-degree {
  max-width: 420px;
  text-align: center;
  margin: 0 auto; }

.composed-of {
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 900;
  letter-spacing: -1px;
  font-size: 24px;
  text-align: left; }

.handwriting {
  font-family: "ff-market-web";
  font-weight: 400;
  font-style: normal;
  font-size: 32px;
  color: #f26527; }

.grey-italic {
  color: #728d94;
  font-style: italic; }

.the-courses {
  font-family: "cubanoregular";
  font-size: 28px;
  color: #ffffff;
  margin-top: 46px; }

.taught-by {
  font-size: 18px;
  font-weight: 500; }

.instructor {
  font-size: 20px; }

.s30 {
  font-size: 30px; }

.mc_embed_signup {
  font-family: "ronnia",sans-serif;
  font-style: italic;
  font-weight: 200; }

.mc-field-group, .clear {
  display: inline-block;
  text-align: left; }

.mc-field-group {
  font-family: "ronnia",sans-serif;
  font-style: normal;
  font-weight: 400; }

.mc-field-group > .txt-label {
  color: #073642; }

.mc-field-group > ul {
  list-style-type: none;
  margin-bottom: 0px;
  padding: 0;
  /*height: 28px;*/ }

.mc-field-group > ul > li {
  font-family: "ronnia",sans-serif;
  font-style: italic;
  display: inline;
  margin-left: 12px; }

.mc-field-group > ul > li > label {
  font-weight: 400;
  color: #073642; }

.mc-field-group > ul > li:first-child {
  margin-left: 6px; }

.txt-label {
  color: #fff;
  font-weight: 700; }

#center-me {
  max-width: 520px;
  margin: 0 auto; }

input {
  font-family: "ff-enzo-web",sans-serif;
  font-style: italic;
  font-weight: 600;
  font-size: 20px;
  border-radius: 3px;
  line-height: 22px;
  padding: 6px;
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  -ms-box-sizing: border-box;
  box-sizing: border-box;
  border: 3px solid transparent;
  color: #002b37; }

input:focus {
  box-shadow: 0;
  border: 3px solid #f26527;
  color: #002b37;
  outline: none; }

#mc-embedded-subscribe {
  background-color: #f26527;
  color: #fff;
  font-family: "ff-enzo-web",sans-serif;
  font-style: normal;
  font-weight: 400;
  text-transform: uppercase;
  letter-spacing: 0.1em;
  -webkit-transition: color .1s ease-in;
  -moz-transition: color .1s ease-in;
  -ms-transition: color .1s ease-in;
  -o-transition: color .1s ease-in;
  transition: color .1s ease-in;
  -webkit-transition: background-color .1s ease-in;
  -moz-transition: background-color .1s ease-in;
  -ms-transition: background-color .1s ease-in;
  -o-transition: background-color .1s ease-in;
  transition: background-color .1s ease-in; }

#mc-embedded-subscribe:hover {
  background-color: #da4323;
  color: #fff;
  /*border: 3px solid #fff;*/
  -webkit-transition: color .2s ease-in;
  -moz-transition: color .2s ease-in;
  -ms-transition: color .2s ease-in;
  -o-transition: color .2s ease-in;
  transition: color .2s ease-in;
  -webkit-transition: background-color .2s ease-in;
  -moz-transition: background-color .2s ease-in;
  -ms-transition: background-color .2s ease-in;
  -o-transition: background-color .2s ease-in;
  transition: background-color .2s ease-in; }

a.btn.btn-outline-inverse.btn-lg:link,
a.btn.btn-outline-inverse.btn-lg:visited {
  color: #ffffff; }

a.btn.btn-outline-inverse.btn-lg:hover {
  color: #302e44; }

a.btn-outline-inverse {
  border-bottom: solid 3px #fff;
  color: #fff;
  font-weight: 600; }

.btn-outline-inverse {
  font-family: "ff-enzo-web",sans-serif;
  font-style: normal;
  font-weight: 600;
  color: #fff;
  background-color: transparent;
  border-color: #fff;
  border-width: 3px;
  text-transform: uppercase;
  letter-spacing: 0.1em;
  -webkit-transition: color .1s ease-in;
  -moz-transition: color .1s ease-in;
  -ms-transition: color .1s ease-in;
  -o-transition: color .1s ease-in;
  transition: color .1s ease-in;
  -webkit-transition: background-color .1s ease-in;
  -moz-transition: background-color .1s ease-in;
  -ms-transition: background-color .1s ease-in;
  -o-transition: background-color .1s ease-in;
  transition: background-color .1s ease-in; }

.btn-outline-inverse:hover {
  background-color: #fff;
  color: #073642;
  -webkit-transition: color .2s ease-in;
  -moz-transition: color .2s ease-in;
  -ms-transition: color .2s ease-in;
  -o-transition: color .2s ease-in;
  transition: color .2s ease-in;
  -webkit-transition: background-color .2s ease-in;
  -moz-transition: background-color .2s ease-in;
  -ms-transition: background-color .2s ease-in;
  -o-transition: background-color .2s ease-in;
  transition: background-color .2s ease-in; }

a.btn-outline {
  border-bottom: solid 3px #f26527;
  color: #ffffff;
  font-weight: 600; }

.btn-outline {
  font-family: "ff-enzo-web",sans-serif;
  font-style: normal;
  font-weight: 600;
  color: #ffffff;
  background-color: #f26527;
  border-color: #f26527;
  border-width: 3px;
  text-transform: uppercase;
  letter-spacing: 0.1em;
  -webkit-transition: color .1s ease-in;
  -moz-transition: color .1s ease-in;
  -ms-transition: color .1s ease-in;
  -o-transition: color .1s ease-in;
  transition: color .1s ease-in;
  -webkit-transition: background-color .1s ease-in;
  -moz-transition: background-color .1s ease-in;
  -ms-transition: background-color .1s ease-in;
  -o-transition: background-color .1s ease-in;
  transition: background-color .1s ease-in; }

.btn-outline:hover {
  background-color: #da4323;
  color: #fff;
  border-color: #da4323;
  -webkit-transition: color .2s ease-in;
  -moz-transition: color .2s ease-in;
  -ms-transition: color .2s ease-in;
  -o-transition: color .2s ease-in;
  transition: color .2s ease-in;
  -webkit-transition: background-color .2s ease-in;
  -moz-transition: background-color .2s ease-in;
  -ms-transition: background-color .2s ease-in;
  -o-transition: background-color .2s ease-in;
  transition: background-color .2s ease-in; }

.btn-outline:disabled {
  background-color: #668086;
  color: #fff;
  border-color: #668086;
  -webkit-transition: color .2s ease-in;
  -moz-transition: color .2s ease-in;
  -ms-transition: color .2s ease-in;
  -o-transition: color .2s ease-in;
  transition: color .2s ease-in;
  -webkit-transition: background-color .2s ease-in;
  -moz-transition: background-color .2s ease-in;
  -ms-transition: background-color .2s ease-in;
  -o-transition: background-color .2s ease-in;
  transition: background-color .2s ease-in; }

.learn-more-btn {
  padding: 0 18px;
  background: #859900;
  /*brighter color: 97BE49*/
  -moz-border-radius: 5px;
  -webkit-border-radius: 5px;
  border-radius: 5px;
  text-transform: uppercase;
  text-decoration: none !important;
  font: 700 14px/28px 'ff-enzo-web', sans-serif;
  display: inline-block;
  color: #fff !important;
  cursor: pointer;
  -moz-transition: all 0.3s ease-in-out;
  -webkit-transition: all 0.3s ease-in-out;
  text-shadow: none;
  border-bottom: none !important; }

.learn-more-btn:hover {
  background: #DC322F;
  -moz-transition: all 0.3s ease-in-out;
  -webkit-transition: all 0.3s ease-in-out;
  box-shadow: none;
  -webkit-box-shadow: none;
  -moz-box-shadow: none;
  text-shadow: none;
  color: #FFF; }

.brought-to-you {
  display: inline-block;
  max-width: 450px;
  text-align: center;
  font-family: 'blanchcaps';
  font-size: 60px;
  letter-spacing: 0.16em;
  line-height: 1em;
  border-bottom: solid 3px #fff;
  border-top: solid 1px #fff;
  margin-bottom: 32px; }

.founding-members {
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 900;
  font-size: 32px; }

.founding-blurb {
  text-align: justify;
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 300;
  font-size: 22px;
  color: #869ea3; }

.sign-up,
.join-effort {
  text-align: center;
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 900;
  font-size: 40px;
  margin-top: 20px;
  margin-bottom: 14px;
  letter-spacing: -1px;
  color: #ffffff; }

.why-sign-up {
  color: #8fa5aa;
  font-weight: 300;
  font-size: 22px;
  text-align: justify;
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  margin-bottom: 30px; }

.who-are-we {
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 100;
  font-size: 32px;
  line-height: 1em; }

.who-are-we .title {
  display: inline-block;
  width: 310px;
  text-align: center;
  font-family: 'blanchcaps';
  font-size: 60px;
  letter-spacing: 0.16em;
  line-height: 1em;
  border-bottom: solid 3px #fff;
  border-top: solid 1px #fff;
  margin-bottom: 32px; }

.us > .name {
  font-weight: 400; }

.us > .about {
  font-size: 22px;
  line-height: 1em;
  color: #80999f;
  font-weight: 500; }

.footer {
  box-shadow: 0px 500px 0px 500px #002b37;
  background: #002b37;
  font-family: "ff-enzo-web",sans-serif;
  position: relative;
  z-index: 10;
  color: #fff;
  padding-top: 50px; }

.copyright {
  margin-top: 60px;
  margin-bottom: 60px;
  color: #fff;
  font-size: 16px;
  line-height: 1.2em;
  /*font-family: "museo-slab", serif;*/
  position: relative;
  float: left; }

.footer > p {
  vertical-align: bottom; }

.footer ul {
  -moz-box-sizing: content-box;
  float: left;
  list-style: none outside none;
  margin: 0;
  padding: 10px 0 20px 0;
  width: 188px; }

.footer a:hover {
  color: #orange;
  text-decoration: none; }

.footer li {
  /*font-family: "museo-slab", serif;*/
  text-align: left; }

.footer ul:last-child {
  padding-right: 0; }

.footer ul li a,
.footer ul li {
  /*color: rgba(255, 255, 255, 0.7);*/
  /*color: #839496;*/
  font-weight: 600;
  /*font-style: italic;*/
  color: #95A5A6;
  font-size: 16px;
  text-decoration: none;
  border: none; }

.footer ul li a:hover {
  text-decoration: none;
  color: #f26527; }

.footer ul li h5 {
  font-family: "cubanoregular", sans-serif;
  font-style: normal;
  font-weight: 600;
  font-size: 22px;
  color: #fff;
  text-transform: uppercase; }

.footer ul li h5 a {
  font-size: 16px;
  font-weight: 600;
  opacity: 1;
  border: none; }

.scala-logo-footer {
  position: relative;
  float: right;
  margin-top: 70px;
  margin-right: 20px; }

.page-container {
  display: -ms-grid;
  -ms-grid-columns: 50% auto; }

.clearall {
  margin: 0;
  padding: 0;
  border: 0;
  outline: 0;
  font-size: 100%;
  vertical-align: baseline;
  background: transparent; }

.main-content {
  padding-top: 28px;
  padding-right: 28px;
  padding-bottom: 60px;
  color: #002b37;
  line-height: 1.4em;
  font-size: 18px;
  background: #ffffff;
  -ms-grid-column: 1;
  -ms-grid-row: 1;
  height: 100%;
  min-height: 540px; }

.sidebar {
  color: #224951;
  padding-top: 50px;
  padding-bottom: 50px;
  padding-left: 28px;
  background: #e4f1f4;
  -ms-grid-column: 2;
  -ms-grid-row: 1;
  height: 100%; }

.clearfix {
  display: block; }

.clearfix:after {
  visibility: hidden;
  display: block;
  font-size: 0;
  content: "";
  clear: both;
  height: 0; }

.scalacenter-logo {
  padding-top: 16px;
  height: 106px;
  padding-right: 20px; }

.tagline {
  margin-left: 18px;
  padding-top: 34px;
  text-align: justify;
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 300;
  font-size: 22px;
  color: #869ea3; }

.nav {
  z-index: 40;
  position: relative;
  float: right;
  list-style-type: none;
  margin-top: 54px;
  padding: 0; }

.nav > li > a {
  display: block; }

.nav > li > a:link,
.nav > li > a:visited {
  position: relative;
  display: inline-block; }

ul.nav > li > a {
  text-shadow: none; }

ul.nav > li#source-code > .toptip,
ul.nav > li#scala-lang-twitter > .toptip {
  background: rgba(0, 0, 0, 0.3); }

ul.nav > li#source-code > .toptip:after,
ul.nav > li#scala-lang-twitter > .toptip:after {
  border-top: 6px solid rgba(0, 0, 0, 0.3); }

.navbar-default {
  background-color: #002b37;
  border: none; }

.main-content > p:nth-of-type(1) {
  margin-top: 14px;
  margin-bottom: 20px; }

.main-content a:link {
  font-weight: normal;
  border-bottom: 2px solid rgba(34, 73, 81, 0.1);
  -webkit-transition: color .1s ease-in;
  -moz-transition: color .1s ease-in;
  -ms-transition: color .1s ease-in;
  -o-transition: color .1s ease-in;
  transition: color .1s ease-in; }

.main-content > p {
  margin-bottom: 20px; }

.main-content > ul,
.main-content > ol {
  margin-bottom: 20px; }

.main-content > p + ul,
.main-content > p + ol {
  margin-top: -14px; }

.main-content > ul > li > p {
  margin-bottom: 0px; }

.main-content > ul ul > li {
  margin-top: 10px; }

.main-content > h2 {
  font-family: "ff-enzo-web", sans-serif;
  color: #002b37;
  font-weight: 600;
  line-height: 1.1em;
  margin-top: 40px; }

.main-content > h3 {
  font-family: "ff-enzo-web", sans-serif;
  font-weight: 400;
  color: #da4323;
  line-height: 1.1em;
  margin-top: 40px; }

.main-content > h4 {
  font-size: 22px;
  color: #668086;
  font-weight: 600;
  font-family: 'ff-enzo-web', sans-serif;
  text-transform: uppercase;
  margin-bottom: 4px; }

.main-content > h5 {
  font-size: 16px;
  font-family: 'ff-enzo-web', sans-serif;
  text-transform: uppercase;
  margin-bottom: 0px; }

.main-content > h6 {
  font-size: 16px;
  color: #073642;
  margin-bottom: 0px; }

.main-content > ol,
.main-content > ul {
  counter-reset: li;
  margin-left: 0;
  padding-left: 0;
  line-height: 1.5em;
  margin-top: 1em; }

.main-content > ul > li {
  position: relative;
  margin: 0 0 0 2em;
  padding: 4px 8px;
  list-style: none; }

.main-content > ol > li {
  position: relative;
  margin: 0 0 0 2em;
  padding: 4px 8px; }

.main-content > ul > li {
  list-style: disc;
  line-height: 1.3em;
  font-size: 17px; }

/*.main-content a:link,
.main-content a:visited {
  color: #27B3D9;
  -webkit-transition: color .1s ease-in;
  -moz-transition: color .1s ease-in;
  -ms-transition: color .1s ease-in;
  -o-transition: color .1s ease-in;
  transition: color .1s ease-in;
  border-bottom: 2px solid #F2F5F8;
}*/
/*.main-content a:hover {
  color: #DC322F;
  text-decoration: none;
  -webkit-transition: color .1s ease-in;
  -moz-transition: color .1s ease-in;
  -ms-transition: color .1s ease-in;
  -o-transition: color .1s ease-in;
  transition: color .1s ease-in;
}*/
code {
  /*background-color: #f6f6f6;*/
  background-color: #F2F5F8;
  color: #7e9cab;
  display: inline;
  font-size: 0.9em;
  margin: 0 3px 0 3px;
  padding: 0 2px 0 2px;
  border: 0px;
  -moz-border-radius: 0px;
  -webkit-border-radius: 0px;
  border-radius: 0px; }

.sect-header {
  text-align: center;
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 900;
  font-size: 58px;
  margin-top: 20px;
  padding-bottom: 24px;
  letter-spacing: -1px;
  color: #ffffff; }

.improve {
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 300;
  font-size: 32px; }

input.parsley-success, select.parsley-success, textarea.parsley-success {
  color: #468847;
  background-color: #DFF0D8;
  border: 1px solid #D6E9C6; }

input.parsley-error, select.parsley-error, textarea.parsley-error {
  color: #B94A48;
  background-color: #F2DEDE;
  border: 1px solid #EED3D7; }

#donate-amount {
  width: 240px;
  font-family: "ff-enzo-web",sans-serif;
  font-size: 20px;
  border-radius: 3px;
  line-height: 22px;
  padding: 6px;
  color: #002b37;
  font-style: italic;
  font-weight: 400; }

#other-amount {
  width: 240px; }

.form-control:focus {
  border-color: #da4323;
  outline: 0;
  -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 0 rgba(102, 175, 233, 0.6);
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 0 rgba(102, 175, 233, 0.6); }

#showthis {
  height: 62px; }

.parsley-errors-list,
.parsley-errors-list > li {
  font-family: "ff-enzo-web",sans-serif;
  list-style-type: none;
  list-style-position: inside;
  margin: 0;
  padding: 0;
  color: #B94A48;
  font-size: 16px;
  font-style: italic;
  font-weight: 400; }

.chfusd {
  font-family: "ff-enzo-web",sans-serif;
  color: #668086;
  font-size: 16px;
  font-style: italic;
  font-weight: 400; }

.frontpage-nav {
  z-index: 100;
  position: relative;
  float: right; }

.frontpage-nav > ul {
  display: inline;
  list-style-type: none;
  margin: 0;
  padding: 0;
  overflow: hidden;
  font-family: "ff-enzo-web",sans-serif;
  font-size: 16px;
  font-weight: 400; }

.frontpage-nav > ul > li {
  display: inline;
  float: left; }

.frontpage-nav > ul > li > a {
  display: block;
  padding: 8px;
  padding-top: 23px;
  padding-right: 24px;
  color: #80999f;
  font-weight: 600;
  text-transform: uppercase;
  border: none; }

.frontpage-nav > ul > li > a:hover {
  text-decoration: none;
  color: #da4323;
  -webkit-transition: color .2s ease-in;
  -moz-transition: color .2s ease-in;
  -ms-transition: color .2s ease-in;
  -o-transition: color .2s ease-in;
  transition: color .2s ease-in; }

.social {
  margin-top: 32px;
  float: right; }

.recurring {
  padding-top: 12px;
  color: #668086;
  font-style: italic;
  font-size: 16px; }

.vertical-alignment-helper {
  display: table;
  height: 100%;
  width: 100%;
  pointer-events: none;
  /* This makes sure that we can still click outside of the modal to close it */ }

.vertical-align-center {
  /* To center vertically */
  display: table-cell;
  vertical-align: middle;
  pointer-events: none; }

.modal-content {
  /* Bootstrap sets the size of the modal in the modal-dialog class, we need to inherit it */
  width: inherit;
  height: inherit;
  /* To center horizontally */
  margin: 0 auto;
  pointer-events: all; }

.backer-level > a {
  text-align: center;
  min-height: 540px;
  font-family: "ff-enzo-web", sans-serif;
  font-style: normal;
  font-weight: 100;
  font-size: 28px;
  color: #fff;
  margin-left: 16px;
  margin-right: 16px; }

.backer-level > a:hover {
  color: #f26527; }