Merge pull request #4020 from dotty-staging/drop-homepage-arrows

Drop navigation arrows from homepage

Author: allanrenucci

docs/_includes/getting-started.html

@@ -25,11 +25,4 @@ <h1 id="getting-started-with-a-project">Create a Dotty Project</h1>
 
         <p>For documentation see the <a href="https://github.com/lampepfl/dotty-example-project">Dotty Example Project</a>.</p>
     </div>
-    <div class="centered-subtitle">
-        <a href="#so-features">
-            <i id="scroll-down-arrow" class="animated infinite pulse material-icons">
-                expand_more
-            </i>
-        </a>
-    </div>
 </div>

docs/_includes/logo-page.html

@@ -75,11 +75,6 @@
         <div class="centered-subtitle">
             <h1 id="dotty">Dotty</h1>
             <p>A next generation compiler for Scala</p>
-            <a href="#getting-started">
-                <i id="scroll-down-arrow" class="animated infinite pulse material-icons">
-                    expand_more
-                </i>
-            </a>
         </div>
     </div>
 </div>

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