/* Various fixes... */

html, body { /* So anchors actually work. */
    overflow: hidden;
    height: 100%;
}

body {
    padding-top: 50px; /* To offset the navbar. */
}

.body-wrap { /* So anchors actually work. */
    overflow: auto;
    height: 100%;
}

h1, .h1 {
    font-size: 30px;
}

.navbar-toggle { /* So navbar button fits on the navbar. */
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: 15px;
}

.navbar-brand {
    margin-top: 10px;
    padding: 0px;
    height: inherit;
}

@media (min-width: 0px) {
}

@media (min-width: 768px) {
    .navbar-brand:hover + .my-navbar-dropdown-menu .dropdown-menu, .dropdown:hover .dropdown-menu {
	display: block; /* To make dropdown menus work on hover instead of click. */   
    }

    .navbar .dropdown-menu {
	margin-top: 0px;
    }
}

@media (min-width: 992px) {
}

@media (min-width: 1200px) {
}


.popover {
    max-width: 750px; /* For post previews. */
    width: auto;
}

/* Utility classes. */

.hidden {
    display: none;
}

/* Reactive things. */

@media (min-width: 0px) {
    .my-pull-left {
    }
    .my-pull-right {
    }
}

@media (min-width: 768px) {
    .my-pull-left {
	float: left;
	margin-right: 15px;
	margin-left: 0;
    }
    .my-pull-right {
        float: right;
	margin-right: 0;
	margin-left: 15px;
    }
}

@media (min-width: 992px) {
}

@media (min-width: 1200px) {
}


.text-large {
    font-size: 15px;
}

.text-small {
    font-size: 10px;
}


/* External link indication. */
/* a[href^="http"]:after { */
/*     content: "\f08e"; */
/*     padding-left: 3px; */
/* } */

/* Table sorting indicators. */

th.tablesorter-header {
    cursor: pointer;
}

th.sorter-false {
    cursor: default;
}

th.tablesorter-headerUnSorted span:after {
    content: "\f0dc";
    padding-left: 5px;
}

th.sorter-false span:after {
    content: "";
    cursor: inherit;
}

th.tablesorter-headerAsc span:after { 
    content: "\f0de";
    padding-left: 5px;
}

th.tablesorter-headerDesc span:after { 
    content: "\f0dd";
    padding-left: 5px;
}

table a, .table a {
    text-decoration: none;
}

table a:hover, .table a:hover {
    text-decoration: underline;
}

/* Pager link summary */

.pager .next > a, .pager .previous > a {
    text-overflow: ellipsis;
    white-space: nowrap;
    width: 100%;
    overflow: hidden;
}

.title-short {
    display: inline;
}

/* Category and tags. */

.category {
    color: #EEE;
}

.category:hover {
    color: #EEE;
}

.tag {
    color: #EEE;
}

.tag:hover {
    color: #EEE;
}


/* Code blocks styling. */

pre {
    white-space: pre-wrap;
    word-wrap: normal;
    word-break: normal;
}

pre.example {
    padding: 20px;
    color: #EEE;
    border-color: #030303;
    background-color: #151515;
}

pre.src {
    padding: 20px;
    color: #EEE;
    border-color: #030303;
    background-color: #151515;
}

pre.src a {
    color: inherit;
}


/* Contact form things */

.contact-form input[type="text"], .contact-form input[type="email"] {
    width: 50%;
}

.contact-form textarea {
    width: 100%;
}

/* Other things */

@media (min-width: 0px) {
    .company {
	font-size: 20px;
	color: #007FFF;
    }

    .name .titles {
	font-size: 15px;
	color: #8f8f8f;
    }

    .name .actual-name {
	font-style: italic;
	font-size: 20px;
	color: #007FFF;
    }

    .title {
	font-size: 15px;
	color: #8f8f8f;
    }
}

@media (min-width: 768px) {
    .logo {
	height: 100px;
    }
}

@media (min-width: 992px) {
    .logo {
	height: 150px;
    }
    
    .company {
	font-size: 30px;
    }

    .name .titles {
	font-size: 20px;
    }

    .name .actual-name {
	font-size: 30px;
    }

    .title {
	font-size: 20px;
    }
}

@media (min-width: 1200px) {
}