/*
# datastructures:  Implementation of Core Data Structures
#
# Copyright (C) 2018 Simon Dirmeier
#
# This file is part of datastructures
#
# datastructures is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# datastructures is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with datastructures. If not, see <http://www.gnu.org/licenses/>.
#
*/

@import url('https://fonts.googleapis.com/css?family=Roboto|Hind|Inconsolata');

.section {
    margin-top: 30px;
    margin-bottom: 30px;
}

code,pre {
  font-family:  "Inconsolata";
  font-size: 1.4rem;
}

body {
    font-size: 1.4em;
    line-height: 1.6;
    font-family: "Roboto", "Helvetica Neue", Helvetica, Arial, sans-serif;
    color: #222;
}

h1, h2, h3, h4, h5, h6 {
    margin-top: 0;
    margin-bottom: 2rem;
    font-weight: 300;
}

h1 {
    font-size: 4.0rem;
  font-style: italic;

}

h2 {
    font-size: 3.0rem;
    line-height: 1.25;
    letter-spacing: -.1rem;
}

h3 {
    font-size: 2.5rem;
    line-height: 1.3;
    letter-spacing: -.1rem;
}

h4 {
    font-size: 2.0rem;
    line-height: 1.35;
    letter-spacing: -.08rem;
}

h5 {
    font-size: 1.8rem;
    line-height: 1.5;
    letter-spacing: -.05rem;
}

h6 {
    font-size: 1.5rem;
    line-height: 1.6;
    letter-spacing: 0;
}

.navbar {
    font-family: "Roboto",  "Helvetica Neue", Helvetica, Arial, sans-serif;
    border-width: 0 1px 2px 1px;
    position: fixed;
    max-height: 20px;
    top: 0px;
}

.navbar .navbar-nav > li > a > .fa {
    font-size: 21px;
}

.navbar .navbar-nav > li > a {
    text-transform: uppercase;
    font-size: 11px;
    letter-spacing: .2rem;
    margin-right: 5px;
    color: #222;
}

.navbar .navbar-brand {
    text-transform: uppercase;
    font-weight: normal;
    font-size: 11px;
    font-weight: 300;
    letter-spacing: .2rem;
    font-style: italic;
    margin-right: 35px;
    text-decoration: none;
    color: #222;
}

.navbar .navbar-brand:hover {
  color: #1EAEDB;
}

.navbar .navbar-nav > li > a:hover,
.navbar .navbar-brand > a:hover {
  color: #1EAEDB;
}
