1
0
mirror of https://github.com/msberends/AMR.git synced 2025-07-09 06:02:01 +02:00

new tibble export

This commit is contained in:
2022-08-27 20:49:37 +02:00
parent 164886f50b
commit 303d61b473
115 changed files with 836 additions and 996 deletions

View File

@ -25,9 +25,6 @@
# ==================================================================== #
*/
h1, h2 {
text-align: left !important;
}
/* replace 'Developers' with 'Maintainers' */
.developers h2 {
display: none;
@ -74,11 +71,15 @@ a pre[href] {
color: var(--bs-success);
text-decoration: none;
}
a[href] {
text-decoration: none;
}
code a[href]:hover, code a[href]:focus,
a[href] code:hover, a[href] code:focus,
pre a[href]:hover, pre a[href]:focus,
a code[href]:hover, a code[href]:focus,
a pre[href]:hover, a pre[href]:focus {
a pre[href]:hover, a pre[href]:focus,
a[href]:hover, a[href]:focus {
/* adjusted colour for all real links; having href attribute */
text-decoration: underline;
}

View File

@ -27,6 +27,9 @@
$(document).ready(function() {
// Replace 'Developers' with 'Maintainers' on the main page
$(".developers h2").text("Maintainers");
// replace \donttest and \dontrun texts in Examples
if ($("#ref-examples ~ div pre").length > 0) {
$("#ref-examples ~ div pre").html($("#ref-examples ~ div pre").html().replaceAll("# \\donttest{", ""));