402d11414c
This changes all HTML IDs so that they have the `mdbook-` prefix. This should help avoid ID conflicts between internal IDs and IDs from user content such as section headers. This is a relatively disruptive change and has a high risk of breaking something. However, I think I have covered everything, and if anything is missed, hopefully it will get detected. I did not change class names since the chance of a collision is much smaller than with IDs. However, that is something that could be considered in the future. Closes https://github.com/rust-lang/mdBook/issues/880
50 lines
689 B
CSS
50 lines
689 B
CSS
|
|
#mdbook-sidebar,
|
|
#mdbook-menu-bar,
|
|
.nav-chapters,
|
|
.mobile-nav-chapters {
|
|
display: none;
|
|
}
|
|
|
|
#mdbook-page-wrapper.page-wrapper {
|
|
transform: none !important;
|
|
margin-inline-start: 0px;
|
|
overflow-y: initial;
|
|
}
|
|
|
|
#mdbook-content {
|
|
max-width: none;
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
.page {
|
|
overflow-y: initial;
|
|
}
|
|
|
|
code {
|
|
direction: ltr !important;
|
|
}
|
|
|
|
pre > .buttons {
|
|
z-index: 2;
|
|
}
|
|
|
|
a, a:visited, a:active, a:hover {
|
|
color: #4183c4;
|
|
text-decoration: none;
|
|
}
|
|
|
|
h1, h2, h3, h4, h5, h6 {
|
|
page-break-inside: avoid;
|
|
page-break-after: avoid;
|
|
}
|
|
|
|
pre, code {
|
|
page-break-inside: avoid;
|
|
white-space: pre-wrap;
|
|
}
|
|
|
|
.fa {
|
|
display: none !important;
|
|
}
|