Merge branch 'bugfix/page-scrolling' into improvement/navigation-new

# Conflicts:
#	_layouts/default.html
#	assets/js/just-the-docs.js
This commit is contained in:
Silvio Giebl
2020-06-15 21:44:30 +02:00
4 changed files with 122 additions and 165 deletions

View File

@@ -27,7 +27,6 @@ figure.highlight {
.highlighter-rouge {
margin-bottom: $sp-3;
overflow: hidden;
border-radius: $border-radius;
}