ANL-CEEESA/MIPLearn
1
0
Fork 0
mirror of https://github.com/ANL-CEEESA/MIPLearn.git synced 2025-12-09 19:08:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

Update benchmarks

Browse Source
This commit is contained in:
Alinson S. Xavier
2020-02-26 15:46:12 -06:00
parent 5eee00c626
commit c4faa0c708
19 changed files with 758 additions and 1209 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
docs/css/cinder.css
View File

@@ -10,28 +10,23 @@ body {
color: #343838;
}
h1, h2, h3, h4, h5, h6 {
font-family:'Inter', 'Helvetica Neue', Helvetica, Arial, sans-serif;
font-family:'PT Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;
color: #222;
}
h1 small, h2 small, h3 small, h4 small, h5 small, h6 small, .h1 small, .h2 small, .h3 small, .h4 small, .h5 small, .h6 small, h1 .small, h2 .small, h3 .small, h4 .small, h5 .small, h6 .small, .h1 .small, .h2 .small, .h3 .small, .h4 .small, .h5 .small, .h6 .small {
color: #B1B7B9;
}
h2 {
margin-top: 35px;
}
h1, h2 {
font-weight: 700;
}
h4 {
font-family: 'Inter', 'Helvetica Neue', Helvetica, Arial, sans-serif;
font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;
font-weight: 300;
margin-top: 20px;
font-style: italic;
}
h5 {
font-family: 'Inter', 'Helvetica Neue', Helvetica, Arial, sans-serif;
font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;
font-weight: 300;
font-variant: small-caps;
}
@@ -46,7 +41,7 @@ pre {
margin-bottom: 25px;
}
.lead {
font-family:"Inter", "Helvetica Neue", Helvetica, Arial, sans-serif;
font-family:"Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
font-weight: 400;
line-height: 1.4;
letter-spacing: 0.0312em;
@@ -59,8 +54,7 @@ pre {
.bs-sidenav {
background-image: url("../img/grid11.png");
background-repeat: repeat;
font-family: Inter,"Helvetica Neue",Helvetica,Arial,sans-serif;
font-size: 13px;
font-size: 12px;
}
.well {
background-color: #FCFDFF;
@@ -77,7 +71,7 @@ pre {
box-shadow: none;
}
#mkdocs-search-query {
font-family:"Inter", "Helvetica Neue", Helvetica, Arial, sans-serif;
font-family:"Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
font-size: 20px;
font-weight: 700;
color: #343838;