/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
   Global styles
*/

html {
  position:relative;
  min-height:100%;
}

body {
  background:#fff;
  font-family: "Open Sans", sans-serif;
  font-size:14px;
  margin:0 0 6em;
  padding:0;
  overflow-y:scroll;
}

pre {
  font-family: ubuntu mono, monospace;
}

code {
  background: #eee;
  color: #4F4371;
  font-family: ubuntu mono, monospace;
}

.wrap {
  background:#fff;
  padding-bottom:2em;
}

p,ul,li {
  font-size:15px;
}

h1 {
  margin-top:.1em;
  margin-left:0;
  text-indent:-.05em;
}

h2 {
  color:#6e618d;
}

.muted {
  opacity: 0.6;
}

.footer {
  background-color:#323232;
  color:#999;
  position:absolute;
  bottom:0;
  width:100%;
  height:4em;
  overflow: hidden;
  line-height:2em;
}

.footer p {
  margin-top:1em;
  font-size:13px;
  height: 30px;
  overflow: hidden;
}

.footer a {
  color: #fff;
}

.footer .brand a {
  color: #428bca
}

.footer .item + .item {
  margin-left: 2em;
}

.logo {
  font-family: Haskell;
  font-weight:400;
}

.span12 ul li + li {
  margin-top: 0.5em;
}

.api-docs, .api-docs:hover {
             font-size: 15px;
             padding-left: 0.25em;
             padding-right: 0.25em;
             padding-bottom: 0.125em;
             border-radius: 0.125em;
             background: #4f4371;
             color: #fff;
             text-decoration: none;
           }


a.windows-button {
    text-decoration: none;
    background-color: #EEEEEE;
    color: #333333;
    padding: 2px 6px 2px 6px;
    border-top: 1px solid #CCCCCC;
    border-right: 1px solid #333333;
    border-bottom: 1px solid #333333;
    border-left: 1px solid #CCCCCC;
}
/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
   Syntax highlighting for general code blocks
*/

.hljs-module     { color: #4F4371 }
.hljs-type       { color: #4F4371 }
.hljs-title      { color: #2e659c }
.hljs-container .hljs-title      { color: #333 }
.hljs-definition { color: #2e659c }
.hljs-comment    { color: #555555 }
.hljs-keyword    { color: #397460 }
.hljs-str        { color: #366354 }
.hljs-conid      { color: #4F4371 }
.hljs-keyglyph   { color: #8f4e8b }
.hljs-varop      { color: #8f4e8b }
.hljs-varid      { color: #333333 }
.hljs-num        { color: #4F4371 }

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
   Navigation
*/

.mobile > .navbar {
  display: none;
}
.navbar {
  background-color:#352f44;
  border-radius:0;
  border:0;
}

.navbar-brand {
  color:#fff;
  font-size:inherit;
  font-weight:700;
  margin-left: 0 !important;
  padding-left:0;
}

.navbar-default .navbar-brand {
  color:#fff;
}

.navbar-brand .logo {
  margin-right:.5em;
  color:#fff;
}

.navbar-default .navbar-nav > .active > a {
  color:#d1cddc!important;
  background-color:#312b3f;
  border-bottom:.3em solid #465787;
}

.navbar-default .navbar-brand:hover,
.navbar-default .navbar-brand:focus {
  color:#fff;
}

.navbar-default .navbar-nav > .active > a:hover,
.navbar-default .navbar-nav a:hover,
.navbar-default .navbar-nav > .active > a:focus {
  color:#fff!important;
  background-color:#312b3f;
}

.navbar-default .navbar-nav > li > a {
  color:#d1cddc!important;
  background-color:inherit;
}

.navbar a:hover {
  color: #c3a6e0;
}

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
   Template
*/

.template .navbar {
  margin-bottom:.5em;
}

.template code {
  background-color:#f5f5f5;
  color:#366354;
}

.template pre {
  font-size:14px;
  word-wrap: normal;
}

.template .container > .row {
  max-width:none;
}

.template .breadcrumb {
  padding-left:0;
  background-color:inherit;
  margin-bottom:0;
}

.template .breadcrumb li {
  margin-right: 5px;
}

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
   News page
*/

.page-news .span6 {

}

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
   Home page
*/

body.page-home {
  margin-bottom: 4em;
}

.page-home #video-anchor {
  color: #fff;
  text-decoration: none;
}

.page-home .navbar-collapse {
  margin-left: -30px;
}

.page-home .navbar {
  margin-bottom:0;
  background: #150e1a; /* Old browsers */
  background: -moz-linear-gradient(left, #150e1a 0%, #22172a 100%); /* FF3.6+ */
  background: -webkit-gradient(linear, left top, right top, color-stop(0%,#150e1a), color-stop(100%,#22172a)); /* Chrome,Safari4+ */
  background: -webkit-linear-gradient(left, #150e1a 0%,#22172a 100%); /* Chrome10+,Safari5.1+ */
  background: -o-linear-gradient(left, #150e1a 0%,#22172a 100%); /* Opera 11.10+ */
  background: -ms-linear-gradient(left, #150e1a 0%,#22172a 100%); /* IE10+ */
  background: linear-gradient(to right, #150e1a 0%,#22172a 100%); /* W3C */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#150e1a', endColorstr='#22172a',GradientType=1 ); /* IE6-9 */
}

.page-home .navbar-brand,.page-home .navbar-brand .logo {
  color: #d1cddc!important;
  cursor: default;
}

/* * * * * * * * * * * * * * * * * * * *
   Header
*/

.page-home .header {
  cursor: default;
  color: #fff;
  background: #19111f; /* Old browsers */
  background: -moz-linear-gradient(left, #19111f 0%, #2c1e37 100%); /* FF3.6+ */
  background: -webkit-gradient(linear, left top, right top, color-stop(0%,#19111f), color-stop(100%,#2c1e37)); /* Chrome,Safari4+ */
  background: -webkit-linear-gradient(left, #19111f 0%,#2c1e37 100%); /* Chrome10+,Safari5.1+ */
  background: -o-linear-gradient(left, #19111f 0%,#2c1e37 100%); /* Opera 11.10+ */
  background: -ms-linear-gradient(left, #19111f 0%,#2c1e37 100%); /* IE10+ */
  background: linear-gradient(to right, #19111f 0%,#2c1e37 100%); /* W3C */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#19111f', endColorstr='#2c1e37',GradientType=1 ); /* IE6-9 */
}

.page-home .header .branding {
  margin-top: 50px;
}

.page-home .header {
  padding-bottom: 40px;
}

.page-home .header .branding .name {
  display: block;
  font-size: 50px;
  font-family: Ubuntu, sans-serif;
  line-height: 50px;
  padding-left: 80px;
  font-weight: bold;
  background-position: left;
  background-repeat: no-repeat;
  background-size: 70px;
}

.page-home .header .branding .summary {
  margin-top: 20px;
  display: block;
  font-size: 20px;
}

.page-home .header .branding .tag {
  display: block;
  font-size: 30px;
}

.page-home .header .code-sample pre {
  background: inherit;
  border: 0;
}

.page-home .header .code-sample * {
  color: #CCC;
}

.page-home .header .code-sample .hs-definition {
  color: #A2D1F9;
}

.page-home .header .code-sample .hs-num {
  color: #D8BCF5;
}

.page-home .header .code-sample .hs-keyword {
  color: #FFF;
}

.page-home .header .code-sample .hs-layout,
.page-home .header .code-sample .hs-keyglyph {
  color: #FAFAFA;
}

/* * * * * * * * * * * * * * * * * * * *
   Try Haskell
*/

.whyhaskell + .try {
  border-top: 3px solid #eee;
}

#console {
  font-family: monospace;
}

.jquery-console-nofocus {
  opacity: 0.8;
}

.jquery-console-focus .jquery-console-cursor {
  background:#aaa;
  color:#eee;
  font-weight:bold;
}

.jquery-console-inner {
  max-height: 20em;
  overflow: auto;
  word-wrap: break-word;
}

.jquery-console-prompt-label {
  color: #8f4e8b;
  font-weight: bold;
}

.jquery-console-prompt-box {
  clear: both;
}

.jquery-console-error {
  color: #8f4e8b;
  clear: left;
}

.jquery-console-value {
  color: #2e659c;
  clear: left;
  float: left;
}

.jquery-console-stdout {
  color: #216f42;
  clear: left;
  float: left;
}

.jquery-console-type {
  color: #777;
}

.jquery-console-welcome {
  color: #888;
  margin-bottom: 0.5em;
}

.jquery-console-stdout + .jquery-console-type {
  display: none !important;
}

.jquery-console-value:empty + .jquery-console-type {
  visibility: visible;
}

.jquery-console-value + .jquery-console-type {
  float: left;
  margin-left: .5em;
}

#guide .spoiler {
  color: #f7f7f9;
  background: #f7f7f9;
}

#guide .spoiler:hover {
  color: #d14;
}

.page-home .try {
  margin-top: 10px;
  margin-bottom: 30px;
}

.page-home .try code * {
  background: inherit;
}

.page-home .try code {
  background-color: #f7f7f9;
  color: #366354;
  border: 1px solid #e1e1e8;
}

.page-home .try h2 {
  font-size: 25px;
  color: #000;
  margin-bottom: 20px;
}

/* * * * * * * * * * * * * * * * * * * *
   Community
*/

.page-home .community #video-description {
  display: none;
}

.page-home .community {
  margin-top: 30px;
  padding-top: 40px;
  background-repeat: no-repeat;
  background-position: center;
  -webkit-background-size: cover;
  -moz-background-size: cover;
  -o-background-size: cover;
  background-size: cover;
}

.page-home .community h1 {
  color: #fff;
  text-shadow: 0px 0px 10px #555;
}

.page-home .community .learn-more {
  margin-top: 80px;
  margin-bottom: 40px;
}

.page-home .community .learn-more a {
  color: #fff;
}

.page-home .videos {
  background: #111111;
}

.page-home .videos ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
}

.page-home .videos li {
  display: inline-block;
  margin-bottom: 20px;
}

.page-home .videos li + li {
  margin-left: 15px;
}

.page-home .videos {
  max-height: 110px;
  overflow: hidden;
}

.page-home .videos li a {
  padding: 4px;
  border: 1px solid #333;
  display: inline-block;
}
.page-home .videos li a.current {
  border: 1px solid #2a6496;
}
.page-home .videos li a:active {
  border: 1px solid #fff;
}

/* * * * * * * * * * * * * * * * * * * *
   Features
*/

.page-home .features .span6 {
  padding-top: 5px;
  padding-bottom: 5px;
  border-radius: 5px;
}
.page-home .features .span6:hover {
  background: #f0f1f2;
  cursor: pointer
}
.page-home .features .span6 h2 {
  margin-top: 0;
  padding-top: 10px;
}

.page-home .features h1 {
  margin-top: 40px;
}

.page-home .features h2 {
  font-size: 25px;
  margin-bottom: 0.7em;
  color: #222;
}

.page-home .features {
  margin-bottom: 40px;
}

.page-home .features .expandable {
  display: none;
}

.page-home .features .packages {
  width: 100%;
}

.page-home .features .packages td {
  vertical-align: top;
  padding-bottom: 0.125em;
}

@media (max-width: 480px){
  .page-home .features .rhs {
    display: none
  }
}

/* Why Haskell? */
.page-home .whyhaskell {
  margin-top: 15px;
}

.page-home .whyhaskell .span6 {

  padding-bottom: 5px;
  border-radius: 5px;
}
.page-home .whyhaskell .span6 h2 {
  margin-top: 0;
  padding-top: 10px;
}

.page-home .whyhaskell h1 {
  margin-top: 20px;
}

.page-home .whyhaskell h2 {
  font-size: 25px;
  margin-bottom: 0.7em;
  color: #222;
}

.page-home .whyhaskell {
  margin-bottom: 40px;
}

.page-home .whyhaskell .expandable {
  display: none;
}

.page-home .whyhaskell .packages {
  width: 100%;
}

.page-home .whyhaskell .packages td {
  vertical-align: top;
  padding-bottom: 0.125em;
}

@media (max-width: 480px){
  .page-home .whyhaskell .rhs {
    display: none
  }
}

/* * * * * * * * * * * * * * * * * * * *
   Sponsors
*/

.page-home .sponsors {
  background: #1b2332;
  color: #f0f0f0;
  padding-top: 2em;
  padding-bottom: 2em;
}
.page-home .sponsors h1 {
  margin-bottom: 1em;
}
.page-home .wrap {
  padding-bottom: 0;
}
.page-home .footer {
  background: #1b2332;
}
.page-home .sponsors a:hover {
  color: #71a9d9;
  text-decoration: none;
}


/* * * * * * * * * * * * * * * * * * * *
   Transition
*/

.page-home .transition {
  background: #1b2332;
  color: #f0f0f0;
  padding-top: 2em;
  padding-bottom: 2em;
}
.page-home .transition h1 {
  margin-bottom: 1em;
  font-size: 1.5em;
  font-weight: bold;
}
.page-home .wrap {
  padding-bottom: 0;
}
.page-home .footer {
  background: #1b2332;
}
.page-home .transition a:hover {
  color: #71a9d9;
  text-decoration: none;
}


/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
   Responsiveness
*/

@media (max-width: 767px){
  .page-home .header .branding {
    margin-top: 20px;
  }
  .page-home .header {
    padding-bottom: 20px;
  }
  .navbar > div > .collapse {
    display: block;
    margin-left: -15px;
  }
  .navbar-collapse .active > a {
    border: 0 !important;
  }
  .navbar-default .navbar-collapse, .navbar-default .navbar-form {
    border: 0;
  }
  .footer-contribute {
    display: none;
  }
  .navbar-brand {
    margin-left: 15px !important;
  }
}

@media (max-width: 480px){
  .page-home .navbar {
    display: none;
  }
  .mobile > .navbar {
    display: block;
    background: #161d29;
  }
  .wrap {
    padding-bottom: 0;
  }
  .footer {
    background: #150e1a; /* Old browsers */
    background: -moz-linear-gradient(left, #150e1a 0%, #22172a 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, right top, color-stop(0%,#150e1a), color-stop(100%,#22172a)); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(left, #150e1a 0%,#22172a 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(left, #150e1a 0%,#22172a 100%); /* Opera 11.10+ */
    background: -ms-linear-gradient(left, #150e1a 0%,#22172a 100%); /* IE10+ */
    background: linear-gradient(to right, #150e1a 0%,#22172a 100%); /* W3C */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#150e1a', endColorstr='#22172a',GradientType=1 ); /* IE6-9 */
  }
}

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
   Report page
*/

.page-report .chapterTOCS,.page-report .tableofcontents {
  line-height: 2em;
  font-size: 15px;
}

.page-report .verbatim,
.page-report .fbox {
  font-size: 14px;
  font-family: ubuntu mono, monospace;
  background: #f5f5f5;
  border: 1px solid #eee;
  padding: 1em;
  margin-bottom: 1em;
}
.page-report .verbatim .fbox,
.page-report .fbox .verbatim,
.page-report .verbatim .verbatim,
.page-report .fbox .fbox {
  padding: 0;
  border: 0;
  margin-bottom: 0em;
}

.page-report .tabular,.page-report .array {
  padding-bottom: 1em;
}

.page-report .array td,.page-report .tabular td {
  padding: 0.25em;
}

.page-report .section-sign {
  padding-right: 0.25em;
}

.page-report .crosslinks {
  display: none
}

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
   Packages page
*/

ul.quicklinks {
  margin: 0;
  padding: 0;
}

ul.quicklinks > li {
  display: inline-block;
  margin: 0;
  padding: 0;
}

ul.quicklinks > li::before {
  content: "»";
  margin: 0 0.25em;
}

ul.quicklinks > li:first-child::before {
  content: "";
  margin: 0;
}

h3 > a, h4 > a {
  color: #6e618d;
}

.page-packages .pkg-desc {
  color: #333;
}

.page-packages .package-big-link {
  display: block;
  padding: 0.25em 1em 0.25em 0.5em;
  margin-left: -0.5em;
}

.page-packages .package-big-link h3 {
  margin-top: 0.25em;
}

.page-packages .package-big-link:hover,
.page-packages .package-big-link:active {
  text-decoration: none;
  background-color: #f0f1f2 !important;
  border-radius: 5px;
}

.page-packages .package-name a {
  color: #555;
}

.get-started-general .os-logos {
  padding: 1em 0;
}

.get-started-general .os-logo {
  text-decoration: none;
  margin-right: 2em;
}

.get-started-general .os-logo {
  text-decoration: none
}

.os-faded img {
  opacity: 0.3
}

.os-choose img {
  opacity: 0.8
}
.os-choose:hover img {
  opacity: 1
}

.get-started-general .terminal-sample {
  font-family: "Monaco", "Ubuntu Mono", monospace;
  white-space: pre;
}

.get-started-general .os-logo img {
  width: 5em;
  height: 5em;
}

.get-started-general h2 .counter {
  color: #999;
}

.get-started-general pre {
  max-width: 30em;
}

.template .alert-info code {
  background-color: inherit;
  color: inherit;
}

.alert-info .title {
  font-weight: bold;
  padding-bottom: 20px;
}

.get-started-general .muted-choices {
  opacity: 0.8;
}

.get-started-general .distro-logo {
  max-width: 2.5em;
  max-height: 2.5em;
  margin-right: 0.25em;
}

--------------------------------------------------------------------------------
-- OSX window style

/* ©2015 Johannes Jakob
   Made with <3 in Germany */

.osx-window a {
  text-decoration: none;
}
.osx-window span {
  line-height: 12pt;
  vertical-align: 50%;
}
.osx-window .window {
  background: #fff;
  max-width: 30em;
  margin-top: 20px;
  margin-bottom: 20px;
  min-height: 10em;
  border: 1px solid #acacac;
  border-radius: 6px;
  box-shadow: 0px 0px 20px #acacac;
}
.osx-window .titlebar {
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0.0, #ebebeb, color-stop(1.0, #d5d5d5)));
  background: -webkit-linear-gradient(top, #ebebeb, #d5d5d5);
  background: -moz-linear-gradient(top, #ebebeb, #d5d5d5);
  background: -ms-linear-gradient(top, #ebebeb, #d5d5d5);
  background: -o-linear-gradient(top, #ebebeb, #d5d5d5);
  background: linear-gradient(top, #ebebeb, #d5d5d5);
  color: #4d494d;
  font-size: 11pt;
  line-height: !20px;
  text-align: center;
  width: 100%;
  height: 20px;
  border-top: 1px solid #f3f1f3;
  border-bottom: 1px solid #b1aeb1;
  border-top-left-radius: 6px;
  border-top-right-radius: 6px;
  user-select: none;
  -webkit-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  -o-user-select: none;
  cursor: default;
}
.osx-window .title-bar-text {
  font-family: HelveticaNeue, 'Helvetica Neue', 'Lucida Grande', Arial, sans-serif;
  font-size: 11pt !important;
}
.osx-window .buttons {
  padding-left: 8px;
  padding-top: 3px;
  float: left;
  line-height: 0px;
}
.osx-window .buttons:hover a {
  visibility: visible;
}
.osx-window .closebtn {
  background: #ff5c5c;
  font-size: 9pt;
  width: 11px;
  height: 11px;
  border: 1px solid #e33e41;
  border-radius: 50%;
  display: inline-block;
}
.osx-window .closebtn:active {
  background: #c14645;
  border: 1px solid #b03537;
}
.osx-window .closebtn:active .closebutton {
  color: #4e0002;
}
.osx-window .closebutton {
  color: #820005;
  visibility: hidden;
  cursor: default;
}
.osx-window .minimize {
  background: #ffbd4c;
  font-size: 9pt;
  line-height: 11px;
  margin-left: 4px;
  width: 11px;
  height: 11px;
  border: 1px solid #e09e3e;
  border-radius: 50%;
  display: inline-block;
}
.osx-window .minimize:active {
  background: #c08e38;
  border: 1px solid #af7c33;
}
.osx-window .minimize:active .minimizebutton {
  color: #5a2607;
}
.osx-window .minimizebutton {
  color: #9a5518;
  visibility: hidden;
  cursor: default;
}
.osx-window .zoom {
  background: #00ca56;
  font-size: 9pt;
  line-height: 11px;
  margin-left: 6px;
  width: 11px;
  height: 11px;
  border: 1px solid #14ae46;
  border-radius: 50%;
  display: inline-block;
}
.osx-window .zoom:active {
  background: #029740;
  border: 1px solid #128435;
}
.osx-window .zoom:active .zoombutton {
  color: #003107;
}
.osx-window .zoombutton {
  color: #006519;
  visibility: hidden;
  cursor: default;
}
.osx-window .content {
  padding: 10px;
}

.noselect {
  -webkit-touch-callout: none; /* iOS Safari */
  -webkit-user-select: none;   /* Chrome/Safari/Opera */
  -khtml-user-select: none;    /* Konqueror */
  -moz-user-select: none;      /* Firefox */
  -ms-user-select: none;       /* Internet Explorer/Edge */
  user-select: none;           /* Non-prefixed version, currently
                                  not supported by any browser */
}

.page-intero blockquote {
    margin-bottom: 0;
    font-style: italic;
    border: 0;
    padding-left: 0;
  }
}