From 8b912c07099efaf8083dfc326a038eac9ecaacbe Mon Sep 17 00:00:00 2001 From: "Paolo G. Giarrusso" Date: Tue, 20 Feb 2018 15:00:48 +0100 Subject: [PATCH] Drop navigation arrows from homepage Fix #3952 by simplifying the layout, in particular by dropping navigation arrows as suggested in https://github.com/lampepfl/dotty/issues/3952#issuecomment-361996836. --- docs/_includes/getting-started.html | 7 ------- docs/_includes/logo-page.html | 5 ----- docs/css/default.css | 4 ---- 3 files changed, 16 deletions(-) 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 @@

Create a Dotty Project

For documentation see the Dotty Example Project.

-
- - - expand_more - - -
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 @@

Dotty

A next generation compiler for Scala

- - - expand_more - -
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; }