/*
  Coverity Security Laboratory style
  Developed by Romain Gaucher (@rgaucher), 2013
  Copyright (c) - Coverity, Inc.
  */
@import url("pygment.css");
@import url(http://fonts.googleapis.com/css?family=Source+Code+Pro);
@import url(http://fonts.googleapis.com/css?family=Open+Sans);

html, body {
    min-height: 100%;
    height: 100%;
}

#wrap {
    min-height: 100%;
    height: auto !important;
    height: 100%;
    margin: 0 auto -60px;
    background-color: rgb(252,252,252);
}

body {
/*    position: relative; */
    font-family: "Open Sans", Helvetica, Arial, sans-serif;
    color: rgb(64,64,64);
    line-height: 150%;
}

/*
  cov-orange: d42;
  cov-pink: C74350;
  cov-blue: 005A8B; // rgb(0, 90, 139);
  */


.navbar .brand {
    float: right;
    font-family: serif;
    color: #fff;
    display: none;
}

.lefty {
    position: fixed;
    left: 15px;
}

.righty {
    position: fixed;
    right: 15px;
}

.center {
    text-align: center;
}

.front {
    z-index: 9999;
}

.navbar .brand > img {
    line-height: 100%;
    vertical-align: middle;
}

.navbar .social-nav {
    margin-left: 10px;
    line-height: 100%;
    float: right;
    font-family: serif;
    color: #fff;
    display: block;
    font-size: 20px;
    font-weight: 200;
}

.navbar .social-nav > a {
    vertical-align: baseline;
    display: inline;
    font-size: 20px;
    margin-right: 5px;
    color: #ccc;
}

.navbar .social-nav > a > i[class^="icon-"] {
    padding-top: 10px;
}

.navbar .social-nav > a:hover > i[class^="icon-"] {
    color: #fff;
}

.navbar .social-nav > a:hover {
    text-decoration: none;
    color: #fff;
    -webkit-transition: all 0.2s ease-in;  /* Saf3.2+, Chrome */
    -moz-transition: all 0.2s ease-in;  /* FF4+ */
    -ms-transition: all 0.2s ease-in;  /* IE10? */
    -o-transition: all 0.2s ease-in;  /* Opera 10.5+ */
    transition: all 0.2s ease-in;
}


.navbar {
    font-size: 16px;
}

form.navbar-search > input[type="text"].search-query {
    background-color: #444;
    color: #ddd;
    width: 50px;
    border-radius: 10px;
    border: 0;
}

form.navbar-search > input[type="text"].search-query:focus,
form.navbar-search > input[type="text"].search-query:active {
    background-color: #666;
    color: #fff;
    width: 150px;
    text-shadow: none;

    -webkit-transition: all 0.2s ease-in;  /* Saf3.2+, Chrome */
    -moz-transition: all 0.2s ease-in;  /* FF4+ */
    -ms-transition: all 0.2s ease-in;  /* IE10? */
    -o-transition: all 0.2s ease-in;  /* Opera 10.5+ */
    transition: all 0.2s ease-in;
}


a, a:hover {
    color: #C74350;
    text-decoration: none;
}



h1, h2, h3, h4, h5, h6 {
    line-height: 150%;
}


code, pre {
    font-family: "Source Code Pro", "Lucida Console", Monaco, monospace;
    font-size: 0.95em;
}

a > code {
    color: #C74350;
    background-color: transparent;
    border: 0;
}

a:hover > code {
    background-color: transparent;
    border: 0;
}

blockquote p {
    font-style: italic;
    padding: 5px;
}

/* stolen from bootstrap doc  */
hr.soften {
    height: 1px;
    margin: 10px 0;
    background-image: -webkit-linear-gradient(left, rgba(0,0,0,0), rgba(0,0,0,.1), rgba(0,0,0,0));
    background-image:    -moz-linear-gradient(left, rgba(0,0,0,0), rgba(0,0,0,.1), rgba(0,0,0,0));
    background-image:     -ms-linear-gradient(left, rgba(0,0,0,0), rgba(0,0,0,.1), rgba(0,0,0,0));
    background-image:      -o-linear-gradient(left, rgba(0,0,0,0), rgba(0,0,0,.1), rgba(0,0,0,0));
    border: 0;
}

.nowrap {
    white-space: nowrap;
}

.navbar-bottom .row.policies {
    padding-top: 5px;
}

.navbar-bottom {
    font-size: 11px;
    padding-right: 50px;
    padding-left: 50px;
    padding-top: 10px;
    border-top: 1px solid #e5e5e5;
    background-color: #f5f5f5;
    min-height: 60px;
}

#push-footer {
    min-height: 60px;
    height: 60px;
}

.navbar-bottom h2 {
    font-size: 12px;
    text-transform: uppercase;
    color: #666;
}

.navbar-bottom ul, footer.navbar-bottom  li {
    list-style: none;
    list-style-position: inside;
    color: #666;
    text-decoration: none
}

.navbar-bottom li {
    list-style-type: none;
    color: #666;
    text-decoration: none
}

.navbar-bottom a,
.navbar-bottom a:hover {
    color: #666;
}


.navbar-bottom ul.social-media {
}

.navbar-bottom ul.social-media,
.navbar-bottom ul.social-media > li {
    display: inline;
    list-style: none;
    list-style-position: inside;
    color: #666;
    text-decoration: none;
    color: red;
}

.navbar-bottom ul.social-media > li.social-media-first {
}

.navbar-bottom ul.social-media > li > a {
    color: #666;
    padding: 10px;
    text-decoration: none;
    font-size: 22px;
}

.navbar-bottom ul.social-media > li > a:hover {
    color: #333;

    -webkit-transition: all 0.2s ease-in;  /* Saf3.2+, Chrome */
    -moz-transition: all 0.2s ease-in;  /* FF4+ */
    -ms-transition: all 0.2s ease-in;  /* IE10? */
    -o-transition: all 0.2s ease-in;  /* Opera 10.5+ */
    transition: all 0.2s ease-in;
}

.navbar p {
    margin-bottom: 0;
    color: #777;
}

/*
  Right navigation styles
  */

.right-nav > li {
    margin-bottom: 5px;
}

.right-nav > li > a {
    display: inline;
}

.right-nav {
    white-space: nowrap;
}

.right-well {
    min-width: 18em;
}

.right-nav .nav-entry > a {
    display: inline-block;
    width: 18em;
    white-space: normal;
}

.right-nav li > section.nav-entry > header > a {
    font-size: 14px;
    padding-left: 5px;
    padding-right: 5px;
}

.right-nav li > section.no-border {
    border: none;
}

.right-nav li > section.nav-entry > footer {
    font-size: 11px;
    margin-left: 5px;
}

.right-nav li > section.nav-entry > footer {
    color: #666;
}

.right-nav li > section.nav-entry > footer > time {
    color: #666;
}



/*
  Article/Blog entry formating
  */
.main-content > section {
    border-bottom: 1px solid #ddd;
    margin: 5px;
    padding: 5px;
    margin-bottom: 30px;
}

.main-content > section > article > * > img {
    display: block;
    margin-left: auto;
    margin-right: auto
}

.main-content > section > header {
    border-bottom: 1px solid #ddd;
}

#document-container > header {
    color: #999;
    text-align: right;
    border-bottom: 1px solid transparent;
}


* > section > header > h1 > a {
    color: #333;
}

* > section > header > h1 > a:hover {
    color: #C74350;
    text-decoration: none;
    -webkit-transition: all 0.3s ease-in;  /* Saf3.2+, Chrome */
    -moz-transition: all 0.3s ease-in;  /* FF4+ */
    -ms-transition: all 0.3s ease-in;  /* IE10? */
    -o-transition: all 0.3s ease-in;  /* Opera 10.5+ */
    transition: all 0.3s ease-in;
}

.main-content > section > article {
    margin-top: 10px;
}

.main-content > section > article > h1 {
    color: #C74350;
}

.main-content > section > article > h2 { font-size: 200%; color: #555;}
.main-content > section > article > h3 { font-size: 120%; color: #333;}
.main-content > section > article > h4 { font-size: 120%; color: #333;}
.main-content > section > article > h5,
.main-content > section > article > h6 { font-size: 110%; color: #333;}

.big {
    font-size: 120%;
}

.user-avatar {
    display: block;
    float: left;
    margin-right: 10px;
}

img.gravatar {
    border-radius: 15px;
    position: relative;
    -webkit-transition: all 0.2s ease-out;
    transition: all 0.2s ease-out;
}

img.gravatar:hover {
    border-radius: 45px;
    position: relative;
    -webkit-transition: all 0.2s ease-out;
    transition: all 0.2s ease-out;
}

.article-info {
    font-size: 80%;
}

/*
  Documents page
  */

.documents-content > section > header > a[name] {
    display: none;
}

.documents-content h2 {
    color: #333;
}

.documents-content a {
    color: #333;
}

.documents-content section {
    background-color: #eeeeee;
}

.documents-content > section > header > div.documents-icon {
    float: right;
    color: #333;
    font-size: 40px;
    background-color: white;
    border-radius: 80px;
    -webkit-transition: all 0.2s ease-out;
    transition: all 0.2s ease-out;
}

.documents-content > section > article {
    margin-bottom: 5px;
}

.documents-content > section > article > a {
    text-align: right;
}

.documents-content a:hover {
    color: #C74350;
    text-decoration: none;

    -webkit-transition: all 0.2s ease-in;  /* Saf3.2+, Chrome */
    -moz-transition: all 0.2s ease-in;  /* FF4+ */
    -ms-transition: all 0.2s ease-in;  /* IE10? */
    -o-transition: all 0.2s ease-in;  /* Opera 10.5+ */
    transition: all 0.2s ease-in;
}

/*
  About page
  */

.persona img {
    border-radius: 0.5em;
    width: 150px;
}

.persona h1 {
    font-size: 150%;
}

.persona h2 {
    font-size: 125%;
}

.persona a {
    font-size: 20px;
    text-align: right;
    padding-left: 3px;
    padding-right: 3px;
}

.persona .topspace {
    padding-top: 2em;
}

/*
  Toc specific CSS
  */
.fixed-position {
    padding: 9px 0;
    position:fixed;
    left:20px;
    top:60px;
    width: 31%;
}

.row > .fixed-position {
    margin-left: 290px;
}

#toc ol, #toc li {
    list-style: lower-roman;
}

a.toc-anchor-char {
    margin-left:  5px;
    padding-left: 5px;
    padding-right:5px;
    color: #eee;
}

a.toc-anchor-char:hover {
    background-color: #C74350;
    color: #fff;
    text-decoration: none;
    text-shadow: 1px 1px 1px #333;
    -moz-border-radius: 3px;
    border-radius: 3px;
    border-color: #C74350;

    -webkit-transition: all 0.2s ease-in;  /* Saf3.2+, Chrome */
    -moz-transition: all 0.2s ease-in;  /* FF4+ */
    -ms-transition: all 0.2s ease-in;  /* IE10? */
    -o-transition: all 0.2s ease-in;  /* Opera 10.5+ */
    transition: all 0.2s ease-in;
}

/*
  Landing page
  */
.pull-down-header {
    padding-bottom: 0px;
}

.colorful-background {
    background-image: url('/theme/img/outlier_chart.png');
    background-size: 80%;
}

.main-sticky {
    padding-top: 10px;
}

.jumbotron {
    margin-top: 40px;
    padding-top: 10em;
    padding-bottom: 10em;
    text-align: center;
    height: 100px;
    border-bottom: 1px solid #aaa;
}

.reset-opacity {
    opacity: 1 !important;
}

.jumbotron h1 {
    padding-top: 15px;
    font-size: 4em;
    font-weight: bold;
    line-height: 100%;
    color: #fff;
}

/* Link styles (used on .masthead-links as well) */
.jumbotron a {
    color: #fff;
    text-shadow: 0 1px 3px rgba(0,0,0,.4),
    0 0  30px rgba(0,0,0,.075);

}

.heading-em {
    color: #C74350;
}

.darker {
    color: rgb(120,120,120);
}

/*
  Sticky headings
  */
.sticky-heading > section {
    margin: 5px;
    padding: 5px;
    padding: 10px;
    margin-bottom: 10px;
}

.sticky-heading > section > header {
    font-size: 250%;
}

.sticky-heading a:hover {
    text-decoration: none;
}

.sticky-heading a.reset-anchor:hover {
    background-color: transparent;
    color: #333;
    text-decoration: none;
    text-shadow: none;
    -moz-border-radius: none;
    border-radius: none;
    border-color: #ccc;
    transition: none;
}


/* Modals */
.modal-group {
    z-index: 99999;
}

/* Archives */
.archive-article {
    margin-left: 2em;
}


/* Media queries: adjustments for smaller formats. */
@media (max-width: 400px) {
    .navbar .social-nav {
        display: none;
    }
}

@media (max-width: 767px) {
    .navbar {
        border-radius: 10px;
        background-color: #f5f5f5;
        border: 1px solid #ddd;
        margin: 5px;
        padding: 5px;
    }

    .fixed-position {
        display:none;
    }

    .jumbotron {
        display: none;
        margin-top: -25px;
        text-align: :center;
        padding-top: 10px;
        padding-left: 10px;
        padding-bottom: 10px;
    }

    .jumbotron h1 {
        font-size: 20px;
    }
}

@media (max-width: 979px) {
    .navbar .brand {
        padding-right: 0;
        padding-left: 0;
        float: left;
        margin-left: 20px;
    }

    .lefty {
        position: relative;
        left: 0px;
    }

    .righty {
        position: relative;
        left: 0px;
    }

    .navbar .nav> li > a {
        /*padding: 10px 10px 10px 10px;*/
        border-bottom: 3px solid transparent;
    }

    .navbar .nav> li.active > a {
        /*padding: 10px 10px 10px 10px;*/
        border-bottom: 3px solid transparent;
    }

    .navbar .nav > li > a:hover,
    .navbar .nav > li.active > a:hover  {
        background-color: transparent;
        border-bottom: 3px solid transparent;
    }

    .navbar-search {
        display: none;
    }

    .navbar .brand {
        display: block;
    }

    .left-logo {
        display: none;
    }

    .blog-latest-entries {
        display: none;
    }

    .pull-down-header {
        padding-bottom: 0;
    }

    .jumbotron {
        margin-top: -25px;
        text-align: :center;
        padding-top: 4em;
        padding-bottom: 6em;
        height: 60px;
    }

    .jumbotron h1 {
        font-size: 40px;
    }
}

@media (min-width: 979px) {
    .main {
        padding-top: 60px;
    }
}

@media print {
    a.toc-anchor-char {
        display: none;
    }
}


.sharing-media {
  display: block;
  line-height: 30px;
  float: right;
  min-width: 350px;
  width: 100%;
  text-align: right;
  margin: 0px;
  min-height: 30px;
  height: 30px;
  margin-right: -25px;
}

.sharing-media ul, .sharing-media li {
  display: inline-block;
  list-style: none;
  list-style-position: inside;
}