From 8b912c07099efaf8083dfc326a038eac9ecaacbe Mon Sep 17 00:00:00 2001 From: "Paolo G. Giarrusso"
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; }