website: merge golang.org → go.dev

As described in https://go.dev/blog/tidy-web,
redirect golang.org to go.dev.
The golang.org home page is retired -
go.dev now has all the same info and links,
and it doesn't have ten-year-old videos of me.
All the other golang.org pages are now served
directly from go.dev, styled differently but with
the same content.

A followup CL will merge the _content directories.

Change-Id: Ib7f3d951842c021280981f9b926c4943f4d9cb52
Reviewed-on: https://go-review.googlesource.com/c/website/+/364859
Trust: Russ Cox <rsc@golang.org>
Run-TryBot: Russ Cox <rsc@golang.org>
Reviewed-by: Jamal Carvalho <jamal@golang.org>

1 files changed, 14 insertions, 5 deletions

diff --git a/go.dev/_content/css/styles.css b/go.dev/_content/css/styles.css
index 29a055b6..88469051 100644
--- a/go.dev/_content/css/styles.css
+++ b/go.dev/_content/css/styles.css
@@ -462,9 +462,6 @@ a.Footer-link--primary {
   max-width: 75.75rem;
   padding: 0 1.5rem;
 }
-.Dir h1, .Doc h1, .Error h1, .Pkg h1, .Texthtml h1 {
-  padding-top: 1rem;
-}
 h1 + h2.subtitle {
   margin-top: -1rem;
   font-size: 1.2rem !important;
@@ -3999,8 +3996,9 @@ h2.Playground-about {
 }
 .expandAll {
   cursor: pointer;
-  float: left;
   margin: 1.25rem 0;
+  font-weight: normal;
+  font-size: 0.8em;
 }
 .toggleButton {
   cursor: pointer;
@@ -4134,7 +4132,8 @@ th.pkg-name {
   /* For styling "Note" sections. */
   background-color: rgb(224, 235, 245);
   font-size: 0.875rem;
-  margin: 1.25rem;
+  margin-top: 1.25rem;
+  margin-bottom: 1.25rem;
   max-width: 50rem;
   padding: 0.5rem 0.5rem 0.5rem 0.625rem;
 }
@@ -4297,3 +4296,13 @@ a.downloadBox:hover .filename {
 .downloadBox .checksum {
   font-size: 5pt;
 }
+#manual-nav dl, #pkg-examples dl{
+  margin-left: 1.25rem;
+  font-size: 0.875rem;
+  margin-block-end: 0;
+  margin-block-start: 0;
+}
+#manual-nav dd, #pkg-examples dd {
+  margin: 0 0 0 1.25rem;
+  font-size: 0.875rem;
+}