Some responsive improvements (#2076)

Author: mattdangerw

theme/base.html

@@ -30,7 +30,7 @@
   <link href="{{base_url}}css/bootstrap.min.css" rel="stylesheet">
 
   <!-- Custom styles for this template -->
-  <link href="{{base_url}}css/docs.css?v=2" rel="stylesheet">
+  <link href="{{base_url}}css/docs.css?v=3" rel="stylesheet">
   <link href="{{base_url}}css/monokai.css" rel="stylesheet">
 
   <!-- Google Tag Manager -->

theme/css/index.css

@@ -146,6 +146,7 @@ pre[class*="language-"] {
   margin: 0;
   padding: 2em 1.2em;
   text-shadow: none;
+  overflow-y: hidden;
 }
 
 code[class*="language-"] {
@@ -187,7 +188,6 @@ code[class*="language-"] * {
   }
 
   h1 {
-    line-height: 86.4px;
     font-size: 72px;
     font-weight: 700;
     margin: 0;

theme/css/nav.css

@@ -42,7 +42,9 @@ nav {
 .nav__search {
   display: none;
   max-width: 303px;
+  margin-left: 32px;
   position: relative;
+  flex-grow: 1;
 }
 
 .nav__search-form--mobile {
@@ -307,10 +309,6 @@ nav {
     display: none !important;
   }
 
-  .nav__search--input {
-    width: 303px;
-  }
-
   .nav__menu {
     align-items: center;
     display: flex;
@@ -329,6 +327,7 @@ nav {
     list-style-type: none;
     margin: 0;
     padding: 0;
+    white-space: nowrap;
   }
 
   .nav__item {

theme/keras_3.html

@@ -18,8 +18,8 @@
   <link href="https://fonts.googleapis.com/css?family=Open+Sans:wght@300;400;500;600&display=swap" rel="stylesheet">
 
   <!-- Custom styles for this template -->
-  <link href="/css/landing.css?v=2" rel="stylesheet">
-  <link href="/css/announcement.css?v=2" rel="stylesheet">
+  <link href="/css/landing.css?v=3" rel="stylesheet">
+  <link href="/css/announcement.css?v=3" rel="stylesheet">
   <link href="{{base_url}}css/monokai.css" rel="stylesheet">
 
   <!-- Google Tag Manager -->

theme/landing.html

@@ -38,7 +38,7 @@
     />
 
     <!-- Custom styles for this template -->
-    <link href="css/landing.css?v=2" rel="stylesheet">
+    <link href="css/landing.css?v=3" rel="stylesheet">
 
     <!-- Google Tag Manager -->
     <script>