<link href="/css/prism.css" rel="stylesheet"> <script src="/js/jquery-1.10.2.js"></script> <script src="/js/bootstrap.js"></script> <script src="/js/prism.js"></script> <script> $(function(){ var shrinkHeader = 80; $(window).scroll(function() {

var scroll = getCurrentScroll(); if ( scroll >= shrinkHeader ) {

$('.navbar-brand').addClass('navbar-shrink'); $('.navbar-inverse').addClass('navbar-colored'); $('.navbar-nav').css({"margin":"0 0 0 15px"}); $(".sun").show();

$('.navbar-lower').addClass('navbarlower-colored');

} else{

$('.navbar-brand').removeClass('navbar-shrink'); $('.navbar-inverse').removeClass('navbar-colored'); $('.navbar-nav').css({"margin":"25px 0 0 25px"}); $(".sun").hide(); $('.navbar-lower').removeClass('navbarlower-colored');

}

}); function getCurrentScroll() {

return window.pageYOffset; }

});

$('.navbar-lower').affix({

offset: {top: 60}

});

</script>

<!-- Global site tag (gtag.js) - Google Analytics --> <script async src="​https://www.googletagmanager.com/gtag/js?id=UA-22830578-1"></script> <script>

window.dataLayer = window.dataLayer

[];

function gtag(){dataLayer.push(arguments);} gtag('js', new Date());

gtag('config', 'UA-22830578-1');

</script>