/*  */
body { padding-top:60px }

/* . TODO: Add some space above the
headers too. */
.down-shifted { padding-top: 55px; margin-top: -55px; }

/*  */

.sidenav  { 
     
    text-align: right;
    list-style: none;
}

@media (min-width: 1200px) {
    .sidenav { width: 226px; }
}

@media (min-width: 992px and max-width:1199px) {
    .sidenav { width: 186px; }
}

/* @media (min-width: 768px) and (max-width: 979px) { */
/*     .sidenav { width: 136px; } */
/* } */

@media (max-width: 991px) {
    
    .sidenav { text-align:left; width: 100%; }
}

.sidenav hr { margin-top: 4px;
              margin-bottom: 4px;
              color: #aaaaaa;
              border-color: #aaaaaa;
            }

/*  */
.post-title { margin-bottom: 2.5em; margin-left:-1em; padding-left:1em; padding-bottom:0.5em;
              border-bottom: 2px solid gray;
            }


.post-title > h1 { color: #555555; margin-bottom: 0.2em; }

/*  */

.ocamlweb-src, pre  {
    border: solid 1px gray;
    background-color:#eeeeee;
    padding: 0.5em 1em 0.5em 1em;
    margin: 0.5em 1em 0.5em 1em;
    -webkit-border-radius: 10px; -moz-border-radius: 10px; border-radius: 10px;
}

/* 
*/

pre {
    word-break: break-all; /* webkit */
    word-wrap: break-word;       /* Internet Explorer 5.5+ */
    white-space: pre;
    white-space: -pre-wrap;      /* Opera 4-6 */
    white-space: -o-pre-wrap;    /* Opera 7 */
    white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
    white-space: pre-wrap;      /* css-3 */
}

.ocamlweb-src code {
    background-color: transparent;
    color: black;
    font-size: 100%;
    padding: 0px 0px 0px 0px;
 }

/*  */

/*  */
.css-treeview input + label + ul { display: block; }
.css-treeview input + label + a + ul { display: block; }
.css-treeview input:not(:checked) + label + ul { display: none; }
.css-treeview input:not(:checked) + label + a + ul { display: none; }

/*  */
.css-treeview input { position: absolute; opacity: 0; }

.css-treeview ul { list-style-type: none }




/*  */
.css-treeview input:disabled + label { font-weight: bold; }


/*  */
.css-treeview input + label { display:inline-block;
                              width:1em;
                              transition: 0.4s;
                              -moz-transition: 0.4s;
                              -webkit-transition: 0.4s;
                              -o-transition: 0.4s;

 }

.css-treeview input + label:hover { color: red; }

.css-treeview input:checked + label { transform: rotate(90deg);
                                      -moz-transform: rotate(90deg);
                                      -o-transform: rotate(90deg);
                                      -webkit-transform: rotate(90deg);
                                    }

/*  */
@media screen and (-webkit-min-device-pixel-ratio:0)
{
    .css-treeview
    {
        -webkit-animation: webkit-adjacent-element-selector-bugfix infinite 1s;
    }

    @-webkit-keyframes webkit-adjacent-element-selector-bugfix
    {
        from
        {
            padding: 0;
        }
        to
        {
            padding: 0;
        }
    }
}

/* */
.disabled a { opacity: 0.5; }
a[class~="disabled"] { opacity: 0.5; }



.social-share {
  padding-left: 0;
  list-style: none; }

.social-share-item {
  display: inline;
  font-size: 80%;
  margin-right: 0.5em; }

.social-share-item form {
  display: inline
}

.social-share-link {
  /* crude button styles */
  text-decoration: none;
  color: #444;
  font-weight: bold;
  padding: .005em .4em .005em 26px;
  background-color: #f5f5f5;
  border: 1px solid #ccc;
  border-radius: 5px; }
  .social-share-link:hover, .social-share-link:active, .social-share-link:focus {
    color: #891434; }

[class*="social-ico-"] {
  display: inline-block;
  background-size: 16px 16px;
  background-repeat: no-repeat;
  background-position: 5px center; }

.social-ico-facebook {
  background-image: url("http://www.facebook.com/favicon.ico"); }

.social-ico-twitter {
  background-image: url("http://twitter.com/favicons/favicon.ico"); }

.social-ico-google {
  background-image: url("https://ssl.gstatic.com/s2/oz/images/faviconr2.ico"); }

.social-ico-rss {
  background-image: url("/img/rss.ico"); }

.social-ico-hackernews {
/*  background-image: url("/img/hn.ico"); } */
  background-image: url("https://news.ycombinator.com/favicon.ico"); }

.social-ico-reddit {
  background-image: url("http://reddit.com/favicon.ico"); }

.social-ico-digg {
  background-image: url("http://digg.com/favicon.ico"); }

.social-ico-e_mail {
  background-image: url("/img/e_mail.ico"); }

.social-ico-paypal {
  background-image: url("http://paypal.com/favicon.ico"); }

.social-ico-flattr {
  background-image: url("https://flattr.com/_img/icons/flattr_logo_16.png"); }

.jumbotron { border: solid 1px gray; }


.carousel-no-transition .carousel-control {
    background-image: none !important; /* remove background gradients on controls */
    color: black;
}

.carousel-no-transition .carousel-control.left {
    left: -30px;
}

.carousel-no-transition .carousel-control.right {
    right: -30px;
}

.carousel-no-transition .carousel-inner .item img {
    border: 1px solid;
}

.carousel-no-transition .carousel-caption {
    position:static;
    color: black;
    max-width:600px;
}