Skip to content
Snippets Groups Projects

Master

Merged Master
master into release-latest
Merged
Martin Weiserequested to merge
master into release-latest
Compare
and
144 files
+ 8778
− 2901
Compare changes
  • Side-by-side
  • Inline

Files

.docs/stylesheets/extra.css
+ 1
− 1
@@ -28,4 +28,4 @@ figure img.img-border {
@@ -28,4 +28,4 @@ figure img.img-border {
[data-md-component=announce] .md-banner__inner {
[data-md-component=announce] .md-banner__inner {
margin-top: 0.2rem;
margin-top: 0.2rem;
margin-bottom: 0.2rem;
margin-bottom: 0.2rem;
}
}
 
\ No newline at end of file