Skip to content

[BUGFIX] Replace margin with padding#385

Merged
beatrycze-volk merged 1 commit intoslub:masterfrom
markusweigelt:fix-top-distance
Dec 18, 2025
Merged

[BUGFIX] Replace margin with padding#385
beatrycze-volk merged 1 commit intoslub:masterfrom
markusweigelt:fix-top-distance

Conversation

@markusweigelt
Copy link
Contributor

  • Use padding instead of margin
  • Rebuild css

@markusweigelt markusweigelt self-assigned this Dec 12, 2025
@markusweigelt markusweigelt added the 🐛 bug A non-security related bug. label Dec 12, 2025
@beatrycze-volk beatrycze-volk added this to the DFG-Viewer 8.0.0 milestone Dec 18, 2025
@beatrycze-volk beatrycze-volk merged commit 199774c into slub:master Dec 18, 2025
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🐛 bug A non-security related bug.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants