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

* {
    background-color: white;
    font-family: 'Courier New', Courier, monospace;
}

.navbar {
    font-size: 1.5em;
    width: @navbar-width; 
    height: @navbar-height;
    border-width: 1px;
    border-right-color: black;
    background-color: white;
    margin-top: 30px;
    padding-bottom: 20px;
    border-bottom: solid;
    border-width: 1px;
}

.banner {
    height: @banner-height;
}

.banner-img {
    width: @banner-width;
    border: solid; 
    border-width: 1px;

}

.content {
    margin-top: @navbar-height + 40px;
    margin-left: 15%;   
}

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

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