1
0
mirror of https://github.com/golang/go synced 2024-11-21 23:24:41 -07:00

doc/style.css: make selectors more selective.

Change #foo to div#foo to avoid selecting headings
with anchor foo, such as <h1 id="foo">.

(A more extensive change would be to use class
selectors for styling. Perhaps this is better, since id:s
should be unique within a document according to
http://www.w3.org/TR/CSS2/selector.html#id-selectors)

R=golang-dev, gri, adg
CC=golang-dev
https://golang.org/cl/5702044
This commit is contained in:
Stefan Nilsson 2012-02-29 09:38:58 +11:00 committed by Andrew Gerrand
parent 38a03de6a1
commit bfdc3baa1e

View File

@ -3,7 +3,8 @@ body {
font-family: Helvetica, Arial, sans-serif; font-family: Helvetica, Arial, sans-serif;
font-size: 16px; font-size: 16px;
} }
pre, code { pre,
code {
font-family: Menlo, monospace; font-family: Menlo, monospace;
font-size: 14px; font-size: 14px;
} }
@ -33,7 +34,10 @@ a {
color: #375EAB; color: #375EAB;
text-decoration: none; text-decoration: none;
} }
p, pre, ul, ol { p,
pre,
ul,
ol {
margin: 20px; margin: 20px;
} }
pre { pre {
@ -45,7 +49,11 @@ pre {
border-radius: 5px; border-radius: 5px;
} }
h1, h2, h3, h4, .rootHeading { h1,
h2,
h3,
h4,
.rootHeading {
margin: 20px 0; margin: 20px 0;
padding: 0; padding: 0;
color: #375EAB; color: #375EAB;
@ -62,7 +70,8 @@ h2 {
h3 { h3 {
font-size: 18px; font-size: 18px;
} }
h3, h4 { h3,
h4 {
margin: 20px 5px; margin: 20px 5px;
} }
h4 { h4 {
@ -73,7 +82,10 @@ h4 {
margin: 0; margin: 0;
} }
h1 a, h2 a, h3 a, h4 a { h1 a,
h2 a,
h3 a,
h4 a {
text-decoration: underline; text-decoration: underline;
} }
@ -83,10 +95,11 @@ dl {
dd { dd {
margin: 2px 20px; margin: 2px 20px;
} }
dl, dd { dl,
dd {
font-size: 14px; font-size: 14px;
} }
#nav table td { div#nav table td {
vertical-align: top; vertical-align: top;
} }
@ -102,50 +115,50 @@ table.dir td {
color: #AA0000; color: #AA0000;
} }
#heading { div#heading {
float: left; float: left;
margin: 0 0 10px 0; margin: 0 0 10px 0;
padding: 16px 0; padding: 16px 0;
font-size: 26px; font-size: 26px;
font-weight: normal; font-weight: normal;
} }
#heading a { div#heading a {
color: #222; color: #222;
text-decoration: none; text-decoration: none;
} }
#topbar { div#topbar {
background: #E0EBF5; background: #E0EBF5;
} }
body { body {
text-align: center; text-align: center;
} }
#page, div#page,
#topbar .container { div#topbar .container {
clear: both; clear: both;
text-align: left; text-align: left;
margin-left: auto; margin-left: auto;
margin-right: auto; margin-right: auto;
width: 900px; width: 900px;
} }
#plusone { div#plusone {
float: right; float: right;
} }
#plusoneRoot { div#plusoneRoot {
float: right; float: right;
} }
#copyright { div#copyright {
color: #666; color: #666;
font-size: 14px; font-size: 14px;
margin: 40px 0; margin: 40px 0;
} }
#menu > a, div#menu > a,
#menu > input, div#menu > input,
#learn .buttons a, div#learn .buttons a,
#blog .read a { div#blog .read a {
padding: 10px; padding: 10px;
text-decoration: none; text-decoration: none;
@ -155,74 +168,75 @@ body {
-moz-border-radius: 5px; -moz-border-radius: 5px;
border-radius: 5px; border-radius: 5px;
} }
#menu > a, div#menu > a,
#menu > input { div#menu > input {
border: 1px solid #375EAB; border: 1px solid #375EAB;
} }
#menu > a { div#menu > a {
color: white; color: white;
background: #375EAB; background: #375EAB;
} }
#start, a#start,
#learn .buttons a, div#learn .buttons a,
#blog .read a { div#blog .read a {
color: #222; color: #222;
border: 1px solid #375EAB; border: 1px solid #375EAB;
background: #E0EBF5; background: #E0EBF5;
} }
#menu { div#menu {
padding: 10px 0; padding: 10px 0;
text-align: right; text-align: right;
} }
#menu > a { div#menu > a {
margin-right: 5px; margin-right: 5px;
margin-bottom: 10px; margin-bottom: 10px;
padding: 10px; padding: 10px;
} }
#menu > input { div#menu > input {
position: relative; position: relative;
top: 1px; top: 1px;
width: 100px; width: 100px;
background: white; background: white;
color: #222; color: #222;
} }
#menu > input.inactive { div#menu > input.inactive {
color: #999; color: #999;
} }
#left { div#left {
float: left; float: left;
} }
#right { div#right {
float: right; float: right;
} }
#left, #right { div#left,
div#right {
width: 415px; width: 415px;
} }
#learn, div#learn,
#about { div#about {
padding-top: 20px; padding-top: 20px;
} }
#learn h2, div#learn h2,
#about { div#about {
margin: 0; margin: 0;
} }
#about { div#about {
font-size: 20px; font-size: 20px;
} }
#about { div#about {
height: 96px; height: 96px;
} }
#gopher { div#gopher {
background: url(/doc/gopher/frontpage.png) no-repeat; background: url(/doc/gopher/frontpage.png) no-repeat;
background-position: center top; background-position: center top;
height: 155px; height: 155px;
} }
#start { a#start {
display: block; display: block;
padding: 10px; padding: 10px;
@ -233,23 +247,24 @@ body {
-moz-border-radius: 5px; -moz-border-radius: 5px;
border-radius: 5px; border-radius: 5px;
} }
#start .big { a#start .big {
font-weight: bold; font-weight: bold;
font-size: 20px; font-size: 20px;
} }
#start .desc { a#start .desc {
font-size: 14px; font-size: 14px;
font-weight: normal; font-weight: normal;
margin-top: 5px; margin-top: 5px;
} }
#learn pre, #learn textarea { div#learn pre,
div#learn textarea {
padding: 0; padding: 0;
margin: 0; margin: 0;
font-family: Menlo, monospace; font-family: Menlo, monospace;
font-size: 14px; font-size: 14px;
} }
#learn .input { div#learn .input {
padding: 10px; padding: 10px;
margin-top: 10px; margin-top: 10px;
height: 150px; height: 150px;
@ -261,14 +276,14 @@ body {
border-top-left-radius: 5px; border-top-left-radius: 5px;
border-top-right-radius: 5px; border-top-right-radius: 5px;
} }
#learn .input textarea { div#learn .input textarea {
width: 100%; width: 100%;
height: 100%; height: 100%;
border: none; border: none;
outline: none; outline: none;
resize: none; resize: none;
} }
#learn .output { div#learn .output {
border-top: none !important; border-top: none !important;
padding: 10px; padding: 10px;
@ -282,58 +297,65 @@ body {
border-bottom-right-radius: 5px; border-bottom-right-radius: 5px;
border-bottom-left-radius: 5px; border-bottom-left-radius: 5px;
} }
#learn .output pre { div#learn .output pre {
padding: 0; padding: 0;
-webkit-border-radius: 0; -webkit-border-radius: 0;
-moz-border-radius: 0; -moz-border-radius: 0;
border-radius: 0; border-radius: 0;
} }
#learn .input, div#learn .input,
#learn .input textarea, div#learn .input textarea,
#learn .output, div#learn .output,
#learn .output pre { div#learn .output pre {
background: #FFFFD8; background: #FFFFD8;
} }
#learn .input, div#learn .input,
#learn .output { div#learn .output {
border: 1px solid #375EAB; border: 1px solid #375EAB;
} }
#learn .buttons { div#learn .buttons {
padding: 20px 0 10px 0; padding: 20px 0 10px 0;
text-align: right; text-align: right;
} }
#learn .buttons a { div#learn .buttons a {
height: 16px; height: 16px;
margin-left: 5px; margin-left: 5px;
padding: 10px; padding: 10px;
} }
#learn .buttons .tour { div#learn .buttons .tour {
float: right; float: right;
} }
#learn .buttons .tour a { div#learn .buttons .tour a {
margin-right: 0; margin-right: 0;
font-weight: bold; font-weight: bold;
} }
#blog, #video { div#blog,
div#video {
margin-top: 40px; margin-top: 40px;
} }
#blog > div, #blog > a, #video > div, #video > a, #blog > h2, #video > h2 { div#blog > a,
div#blog > div,
div#blog > h2,
div#video > a,
div#video > div,
div#video > h2 {
margin-bottom: 10px; margin-bottom: 10px;
} }
#blog .title, #video .title { div#blog .title,
div#video .title {
color: #222; color: #222;
text-decoration: none; text-decoration: none;
display: block; display: block;
font-size: 20px; font-size: 20px;
} }
#blog .when { div#blog .when {
color: #666; color: #666;
font-size: 14px; font-size: 14px;
} }
#blog .read { div#blog .read {
text-align: right; text-align: right;
} }