@import "fonts.less";

@navbar-width:100%;
@navbar-height: 10px;
@banner-height: 530px;
@banner-width: 100%;
@logo-dimension: 20px;

* {
    background-color: white;
    font-family: 'happy';
}

a {
    color: #737373;
    text-decoration: none;
}
a::hover {
    text-decoration: underline;
}

h1 > a, h2 > a, h3 > a, h4 > a {
    color:black;
}

.navbar > a {
    text-decoration: none;
    color: black;
}

.navbar {
    font-size: 1.5em;
    width: @navbar-width;
    height: @navbar-height;
    background-color: white;
    margin-top: 10px;
    padding-bottom: 25px;

    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;

    a {
      padding-left: 40px;
      padding-right: 40px;
    }

    :hover {
        text-decoration: underline;
    }
}

.footer {
    margin-top: 50px;
    margin-bottom: 30px;
    text-align: center;

    a {
        text-decoration: none;
        padding-right: 20px;
        padding-left: 20px;
    }
}

#break-footer {
    width:20%;
}

.banner-img {
    width: @banner-width;
    height:300px;
    object-fit: cover;
}


#rss-logo {
    width: @logo-dimension;
    height: @logo-dimension;
}

#git-logo {
    width: @logo-dimension;
    height: @logo-dimension;
}


.content {
    margin-top: @navbar-height + 40px;
    margin-left: 15%;
    max-width: 60%;
    font-size: 1.2em;
    a:hover {
        text-decoration: underline;
    }

}

.article-anchor {
    padding-left: 10px;
    padding-right: 10px;
}

.title-block {
    text-align: left;
}

code {
    background-color: #cccccc;
    font-style: italic;
}

blockquote {
    margin-left: 40px;
    font-style: italic;
    font-size: 1em;
}

@media print {
    .banner {
        visibility: hidden;
    }

    .navbar {
        visibility: hidden;
    }
}

.paginator {
    text-align: center;
}

.page_numbers {
    padding: 20px;
}

.content > div > p > img {
    border: solid 1px;
}

.subsection-banner {
    width: 100%;
}

.monospace-this p {
  font-family: Courier, monospace;
  line-height: 1;
  letter-spacing: 1em;
}

.monospace-this hr {
  width: 20%;
  margin: 2em 0 2em;
}
