v7.0.0 #69

Closed
claudio.atzori wants to merge 7 commits from v7.0.0 into main
1 changed files with 7 additions and 0 deletions
Showing only changes of commit 5a9afd46c4 - Show all commits

View File

@ -122,3 +122,10 @@ html[data-embed-publications='true'] {
html[data-embed-publications='true'] .theme-admonition-note {
background-color: #f5f5f5;
}
html[data-embed-publications='true'] .theme-doc-markdown {
position: absolute;
left: 0px;
right: 0px;
top: 0px;
}