From 11e12f220b092a77a03acbce2b21faffd051140a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Peter=20M=C3=BCller?= Date: Sun, 3 Mar 2019 20:13:21 +0200 Subject: [PATCH] Remove useless div in footer --- docs/_includes/default.html | 16 +++++++--------- docs/css/style.css | 7 +------ 2 files changed, 8 insertions(+), 15 deletions(-) diff --git a/docs/_includes/default.html b/docs/_includes/default.html index 72d0ccfe85..7a710a56b1 100644 --- a/docs/_includes/default.html +++ b/docs/_includes/default.html @@ -37,15 +37,13 @@

{{ content }}
diff --git a/docs/css/style.css b/docs/css/style.css index e6fbb56085..37b89ee22e 100644 --- a/docs/css/style.css +++ b/docs/css/style.css @@ -190,14 +190,9 @@ img.screenshot { footer { background-color: #eee; - padding: 50px 0; + padding: 50px 30px; text-align: right; border-top: 1px solid #ddd; -} - -footer div { - display: block; - margin-right: 30px; color: #888; font-size: 0.8em; }