html {
    /* default font-size is 16px - this is set in the default browser stylesheet */
    font-size: 16px;
    font-weight: 400;
    line-height: 1.5;
}
.choice_label {
    display: inline-block;
    width: 100px;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}
table.compact {
    font-size: 85%; /* same as bootstrap .small */
    width: inherit;
}
table.compact td {
    padding: 2px 4px !important;
}

body, input, select, textarea, table {
	color: #6f7577!important;
	font-family: "Raleway", "Helvetica", sans-serif;
	font-size: 14pt;
	font-weight: 400;
	line-height: 1.4em;
}

.main a {
	-moz-transition: color 0.2s ease-in-out, border-bottom-color 0.2s ease-in-out;
	-webkit-transition: color 0.2s ease-in-out, border-bottom-color 0.2s ease-in-out;
	-ms-transition: color 0.2s ease-in-out, border-bottom-color 0.2s ease-in-out;
	transition: color 0.2s ease-in-out, border-bottom-color 0.2s ease-in-out;
/*	border-bottom: dotted 1px;*/
	color: #76d09b;
	text-decoration: none;
}

.main a:hover {
	border-bottom-color: transparent !important;
	color: #76d09b !important;
	text-decoration: none;
}

.logo {
    width: 150px;
	display: block;
	margin-left: auto;
	margin-right: auto;
}

.sidebar .logo-small
{
    margin-bottom: 200px;
    max-width: 150px;
    display: block;
}

.sidebar .other-logo-small
{
    max-width: 90px;
	display: block;
	margin: auto;
    margin-bottom: 30px;
}

.logo_header {
    width: 27.5em;
	position: fixed;
	top: 5%;
	right: 50%;
	margin-right: -27.5em;
}

footer {
	border-top: 1px solid #76d09b;
	padding-top:1ex;
	text-align: center;
    font-size: 70%;
    color: #777;
	line-height: 1.3;
}

footer b {
    color: #777;
}

footer .snt-bracket {
    color: #993333;
    background-color: inherit;
}

footer .other-logo-small
{
    max-width: 90px;
	padding-left: 5px;
	padding-right: 5px;
}

p {
    margin-top: 0;
    margin-bottom: 1rem;
}

h3, h4 {
	color: #107977;
    font-size: 1.5rem;
    font-weight: 500;
}

h3 {
    font-size: 2.0rem;
    padding-bottom: 1.0rem;
}

h5 {
    font-weight: bold;
    margin-left: 2rem;
}

ul.version-history {
    padding-top: .5rem;
    padding-bottom: .5rem;
}

.changelog li:first-child {
    padding-top: .3rem;
}


.changelog li:last-child {
    padding-bottom: .8rem;
}

.changelog li {
    margin-left: 4.5rem;
    list-style-type: circle;
}

#processors-table thead tr {
	color: #107977;
}

#processors-table {
   margin-bottom: 0;
}

#processors-table thead th {
	padding-top: 2ex;
	border-top: none;
	padding-bottom: 0;
}

.informationtable {
    margin-bottom: 10px;
}

pre {
    color: #107977;
    background-color: #f6f6f6;
    font-size: 75%;
    line-height: 1.5;
    margin-left: 3em;
    margin-right: 3em;
    margin-bottom: 1em;
    padding: 1em;
}

pre.output {
    color: #666
}

code {
    color: #993333;
}

.title {
}

.sidebar button,
.main button {
    background: #107977!important;
    border-color: #107977;
}

.sidebar button {
    width: 170px;
}

.sidebuttons a button,
.main a button {
    color: white!important;
    font-weight: 800!important;
}

.sidebuttons a:visited button,
.main a:visited button {
    color: white!important;
    font-weight: 800!important;
}

.sidebuttons a:hover button,
.main a:hover button {
    color: white!important;
    font-weight: 800;
}

.mainbuttons {
    padding-bottom: 25px;
}

ul.papers {
    list-style-type: circle;
}

ul.papers li {
    margin-left: 25px;
}

.site-news {
    padding-bottom: 1.5ex;
    font-size: 90%;
}


.main .alert {
    h4 {
        padding-bottom: 10px;
        font-weight: bold;
    }

    a {
        color: rgb(114, 28, 36);
        text-decoration: underline;
    }

    a:hover {
        color: blue;
    }

    ul {
        list-style-type: square;
        padding-bottom: 15px;
    }

    li {
        margin-left: 3rem;
    }

    border: thin solid;
}

.alert {

    ul {
        list-style-type: square;
        padding-bottom: 15px;
    }

    li {
        margin-left: 3rem;
    }
}

.upgrade-notice {
    ol {
        padding-left: 50px;
    }
}