2019-07-22 22:28:44 +02:00
|
|
|
html, body {
|
|
|
|
height: 100%;
|
2019-07-22 19:19:44 +02:00
|
|
|
}
|
|
|
|
body {
|
2019-07-22 22:28:44 +02:00
|
|
|
padding-top: 40px;
|
|
|
|
padding-bottom: 40px;
|
|
|
|
background-color: #f5f5f5;
|
2019-07-22 19:19:44 +02:00
|
|
|
}
|
2019-07-23 00:49:24 +02:00
|
|
|
|
|
|
|
hr {
|
|
|
|
display: block;
|
|
|
|
margin-before: 0.5em;
|
|
|
|
margin-after: 0.5em;
|
|
|
|
margin-start: auto;
|
|
|
|
margin-end: auto;
|
|
|
|
overflow: hidden;
|
|
|
|
border-style: inset;
|
|
|
|
border-width: 1px;
|
2019-07-23 15:39:58 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
img {
|
|
|
|
margin: 2px;
|
2019-07-24 03:01:32 +02:00
|
|
|
padding-top: 10px;
|
|
|
|
padding-bottom: 5px;
|
|
|
|
max-width: 325px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.btn-link {
|
|
|
|
font-weight: 400!important;
|
|
|
|
}
|
|
|
|
|
|
|
|
.btn-link:hover, .btn-link:focus {
|
|
|
|
text-decoration: none !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
.card {
|
|
|
|
background-color: transparent!important;
|
|
|
|
background-clip: border-box;
|
|
|
|
border: none!important;
|
|
|
|
}
|
|
|
|
|
|
|
|
.card-header {
|
|
|
|
padding: .75rem 1.25rem;
|
|
|
|
margin-bottom: 0;
|
|
|
|
background-color: transparent!important;
|
|
|
|
border-bottom: 1px solid rgba(0,0,0,.125)!important;
|
|
|
|
}
|
|
|
|
|
|
|
|
/** */
|
|
|
|
nav[data-toggle="toc"] {
|
|
|
|
top: 42px;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* small screens */
|
|
|
|
@media (max-width: 768px) {
|
|
|
|
/* override stickyness so that the navigation does not follow scrolling */
|
|
|
|
nav[data-toggle="toc"] {
|
|
|
|
margin-bottom: 42px;
|
|
|
|
position: static;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* PICK ONE */
|
|
|
|
/* don't expand nested items, which pushes down the rest of the page when navigating */
|
|
|
|
nav[data-toggle="toc"] .nav .active .nav {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
/* alternatively, if you *do* want the second-level navigation to be shown (as seen on this page on mobile), use this */
|
|
|
|
/*
|
|
|
|
nav[data-toggle='toc'] .nav .nav {
|
|
|
|
display: block;
|
|
|
|
}
|
|
|
|
*/
|
2019-07-22 19:19:44 +02:00
|
|
|
}
|