body {
    background-color: white;
    margin: 0;
    line-height: 1.5em;
    font-size: 1.1em;
}

table.banner {
    width: 100%
}

h1 {
   background-color: black;
   display: block;
   padding: 0.5em;
   text-align: center;
   line-height: 1.1em;
}

h1 a {
   color: white;
}

h4 {
    text-align: right
}

dd {
    margin-left: 0
}

#home,
#nav,
#benchmark,
#program,
#headtohead,
#scorecard,
#fulldata,
#iofile,
#miscfile,
#faq,
#boxplot,
#summarydata,
#shapes,
#sitemap {
    margin-left: 6%;
    margin-right: 6%
}

h1,
h3,
h4,
#faq dt a:link,
#faq dt a:visited,
#miscfile dt a:link,
#miscfile dt a:visited,
#miscfile dt,
.banner a:link,
.banner a:visited,
h2 a:link,
h2 a:visited,
h3 a:link,
h3 a:visited,
span.u64 a:link,
span.u32 a:link,
span.u32q a:link,
span.u64q a:link,
span.demo a:link,
span.u64 a:visited,
span.u32 a:visited,
span.u32q a:visited,
span.u64q a:visited,
span.demo a:visited,
#sitemap th {
    font-weight: bold
}

#u64q h2,
#u64q h3,
#u64q #faq dt,
#u64q #miscfile dt,
#u64q table.banner,
span.u64q,
#sitemap th.u64q {
}

#u64 h2,
#u64 h3,
#u64 #faq dt,
#u64 #miscfile dt,
#u64 table.banner,
span.u64,
#sitemap th.u64 {
}

#core h3,
#core #faq dt,
#core #miscfile dt,
#core table.banner {
    background-color: black
}

#core #faq dd dl dt,
#core #faq dd dl dt,
#core #miscfile dd dl dt,
#core #miscfile dd dl dt,
#benchmark th,
#program th,
#headtohead th,
#scorecard th,
#fulldata th,
#boxplot th {
    background-color: #ddd
}

#demo h2,
#demo h3,
#demo #faq dt,
#demo #miscfile dt,
#demo table.banner,
span.demo {
    background-color: #777
}

.test,
.score,
.fun,
#program td {
    background-color: #eee
}

#u64q dd dl dt a:link,
#u64 dd dl dt a:link,
#u32q dd dl dt a:link,
#u32 dd dl dt a:link,
#core dd dl dt a:link,
#demo dd dl dt a:link,
#u64q dd dl dt a:visited,
#u64 dd dl dt a:visited,
#u32q dd dl dt a:visited,
#u32 dd dl dt a:visited,
#core dd dl dt a:visited,
#demo dd dl dt a:visited {
    color: black;
    font-weight: normal
}

th a:link,
th a:visited,
.score a:link,
.score a:visited {
    color: black
}

a:link,
a:visited {
    text-decoration: none
}
a{
   color: #007bff;
}
a:hover {
    text-decoration: underline
}

img {
    border: 0
}

body {
    font-family: verdana, arial, sans-serif
}

th {
    font-weight: normal
}

body,
body div,
body p,
body th,
body td,
body li,
body dd,
body td input,
body form select,
body form input,
body pre,
body code,
body h1,
body h2,
body h3,
body h4,
body h5 {
}

html>body,
html>body div,
html>body p,
html>body th,
html>body td,
html>body li,
html>body dd,
html>body td input,
html>body form select,
html>body form input,
html>body pre,
html>body code,
html>body h1,
html>body h2,
html>body h3,
html>body h4,
html>body h5 {
}

.banner h1,
.banner a {
    font-size: larger
}

.banner h4,
.smaller,
#nav dd {
    font-size: smaller
}

h4,
h5,
form,
p,
pre,
#nav dl,
.score p,
td.score {
    margin: 0;
    padding: 0
}

p {
    padding-bottom: .7em
}

ol,
ul {
    margin-top: 0
}

dd dl dt {
    margin-bottom: .5em
}

table,
ol,
ul,
pre,
form.score {
    margin-bottom: 1em
}

table.banner td,
#headtohead td+td+td+td+td {
    margin-left: 1em
}

#scorecard form.score {
    margin-left: 1em
}

p.imgfooter {
    margin-top: 2em
}

th,
.layout td {
    vertical-align: top
}

form.score tr {
    vertical-align: bottom
}

th {
    text-align: center
}

.num {
    text-align: right
}

.txt,
form.score tr {
    text-align: left
}

#benchmark td+td+td,
#fulldata .data td+td,
#headtohead td+td,
#scorecard td+td+td,
#program td,
#headtohead td+td+td+td+td,
#faq td,
#boxplot td+td+td+td {
    text-align: right
}

#headtohead td+td+td+td+td {
    font-size: smaller
}

.numN,
.message {
    font-size: smaller
}

table.layout td,
table.banner td {
    border-bottom: 0
}

td,
table.layout table td {
    border-bottom: 1px solid #eee
}

td.bar {
    border-top: 1px solid #ddd
}

#homelink,
p.img,
p.imgfooter,
.timestamp,
.score,
.fun {
    text-align: center
}

pre {
    white-space: pre
}

.timestamp {
    text-align: right;
    font-size: smaller
}

.sort,
.num1,
.num5 {
    font-weight: bold
}

.num1,
.num2 {
    color: gray
}

.num {
    color: #000
}

.esc {
    color: #00f
}

.str {
    color: #00f
}

.dstr {
    color: #7f9fbf
}

.slc {
    color: #2f9956
}

.com {
    color: #717ab3
}

.dir {
    color: #3f5fbf
}

.sym {
    color: #000
}

.line {
    color: #000
}

.kwa {
    color: #7f0055;
    font-weight: bold
}

.kwb {
    color: #7f0055;
    font-weight: bold
}

.kwc {
    color: #7f0055;
    font-weight: bold
}

.row {
	display: flex;
	justify-content: space-around;
}

@media only screen and (max-width: 564px) {

    .row {
	display: block;
    }


}