diff --git a/docs/_includes/getting-started.html b/docs/_includes/getting-started.html index 726417626818..b78208b11821 100644 --- a/docs/_includes/getting-started.html +++ b/docs/_includes/getting-started.html @@ -25,11 +25,4 @@
For documentation see the Dotty Example Project.
- diff --git a/docs/_includes/logo-page.html b/docs/_includes/logo-page.html index 98b9b5ed2cdc..57472d4fdba5 100644 --- a/docs/_includes/logo-page.html +++ b/docs/_includes/logo-page.html @@ -75,11 +75,6 @@ diff --git a/docs/css/default.css b/docs/css/default.css index 37d8e0741bcc..5f1928bfd313 100644 --- a/docs/css/default.css +++ b/docs/css/default.css @@ -182,10 +182,6 @@ div.centered-subtitle > a { color: #fff; } -div.centered-subtitle > a > i#scroll-down-arrow { - font-size: 3em; -} - div.centered-subtitle > p { font-size: 3vh; }