diff options
| author | TW <tw@waldmann-edv.de> | 2024-05-29 17:22:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-29 17:22:21 +0200 |
| commit | 7da894753308da7cdb106c44b6e5306bac22be0c (patch) | |
| tree | 146121327e00f3c29d22d96bbb1c6037092052bc | |
| parent | d73addaabb40f4d80fec368b0b20ddb50f9a1c6e (diff) | |
| parent | f61cf0fd131604c4d0f7af71f3847148b5adcae0 (diff) | |
Merge pull request #8236 from ThomasWaldmann/remove-experimental-1.2
recreate: remove experimental status
| -rw-r--r-- | docs/borg_theme/css/borg.css | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/borg_theme/css/borg.css b/docs/borg_theme/css/borg.css index f8f900b66..66712b418 100644 --- a/docs/borg_theme/css/borg.css +++ b/docs/borg_theme/css/borg.css @@ -52,8 +52,7 @@ h1 { } .container.experimental, -#debugging-facilities, -#borg-recreate { +#debugging-facilities { /* don't change text dimensions */ margin: 0 -30px; /* padding below + border width */ padding: 0 10px; /* 10 px visual margin between edge of text and the border */ |