diff --git a/src/web/about/resources/style.css b/src/web/about/resources/style.css index 9a27395a0..18a7e2d78 100644 --- a/src/web/about/resources/style.css +++ b/src/web/about/resources/style.css @@ -132,6 +132,10 @@ p.tip { font-size: 14px; } +hr { + margin: 1em 0; +} + table { width: 100%; border-spacing: 0;