.navbar-inverse {
    -moz-box-shadow: 0px 1px 5px #888888;
    -webkit-box-shadow: 0px 1px 5px #888888;
    box-shadow: 0px 1px 5px #888888;
}

.inverse-dropdown {
    background-color: #222;
    border-color: #080808;
    -moz-box-shadow: 2px 2px 5px #888888;
    -webkit-box-shadow: 2px 2px 5px #888888;
    box-shadow: 2px 2px 5px #888888;
    font-family: "DejaVu Sans Mono", monospace;
}
.inverse-dropdown > li > a {
    color: #999;
    padding: 1em;
}
.inverse-dropdown > li > a:hover {
    color: #fff;
    background-color: #999;
}
.inverse-dropdown > .divider {
    background-color: #000;
}

/* add relative positioning so that we can place the dropdown-menu next to the submenu */
.inverse-dropdown > .submenu {
    position: relative;
}

/* this works because of the relative positioning from above rule */
.inverse-dropdown > .submenu > .dropdown-menu {
    top: 0px;
    right: 100%;
    margin-top: -6px;
    margin-right: -1px;
    -webkit-border-radius: 6px 0px 6px 6px;
    -moz-border-radius: 6px 0px 6px 6px;
    border-radius: 6px 0px 6px 6px;
    -moz-box-shadow: 0px 0px 0px #888888;
    -webkit-box-shadow: 0px 0px 0px #888888;
    box-shadow: 0px 0px 0px #888888;
}

/* conditional display .. bootstrap dropdown-menu is by default display:none this will display it if we hover over the menu or anything inside the submenu */
.inverse-dropdown > .submenu:hover > .dropdown-menu {
    display: block;
}

.dropdown-submenu>a:after {
    display: block;
    content: " ";
    float: right;
    width: 0;
    height: 0;
    border-color: transparent;
    border-style: solid;
    border-width: 5px 0 5px 5px;
    border-left-color: #ccc;
    margin-top: 5px;
    margin-right: -10px;
}

.dropdown-submenu:hover>a:after {
    border-left-color: #fff;
}

/* .navbar-default { */
/*     background : #f5f5f5; */
/* } */
/* customizing keyword colors in algos */
.kwd {
    color: #07a;
}
.lit {
    color: #905;
}
.function:not(.kwd) {
    color:#dd4a68;
}

.jumbotron {
    background: #B3D4FC;
}

/*we need to add the padding because we are using a fixed top navbar*/
body {
    padding-top: 30px;
    font-size: 1.6em;
}

.navbar {
    font-family: "DejaVu Sans", monospace;
    font-size: 0.9em;
}

h1, h2, h3, h4 {
    font-family: "DejaVu Sans Mono", monospace;
}

/* Generated by Font Squirrel (http://www.fontsquirrel.com) on March 29, 2015 */

#my-logo {
    color:#e83b3b;
    font-family: troika_regular, sans-serif;
    font-size: 2.6em;
}

@media only screen and (min-width: 60em) {
    nav.navbar {
	height: 5em;
    }

    #algoTabs > li > a {
	padding: 1.8em 2em;
    }

    #my-logo:focus {
	outline: none;
    }

    #my-logo {
	margin-top: -0.4em;
    }

    #my-logo img {
	display: inline;
    }

    body {
	padding-top: 5em;
    }
}

/* used for the logo */
@font-face {
    font-family: 'troika_regular';
    src: url('font/troika/troika-webfont.eot');
    src: url('font/troika/troika-webfont.eot?#iefix') format('embedded-opentype'),
         url('font/troika/troika-webfont.woff') format('woff'),
         url('font/troika/troika-webfont.ttf') format('truetype'),
         url('font/troika/troika-webfont.svg#troikaregular') format('svg');
    font-weight: normal;
    font-style: normal;

}