diff --git a/dev/styles.css b/dev/styles.css index 3c721ca65cc..e9dea6f185c 100644 --- a/dev/styles.css +++ b/dev/styles.css @@ -74,7 +74,7 @@ h1 { font-size: 300%; } -h2:not(#dev-edition-h2) { +h2:not(#dev-edition-h2):not(#about-dev-edition) { font-size: 160%; text-transform: uppercase; letter-spacing: 0.2em; @@ -385,7 +385,6 @@ header#head h2 { header#head .logo { position: absolute; left: -120px; - top: -20px; } /* Search bar */ @@ -506,6 +505,13 @@ html:not(.index) ol.toc ol { margin: 0; } +/* About */ + +#about-dev-edition { + margin: 1.5em 0 1em 0; + font-size: 34px; +} + /* RESPONSIVE STYLES */ @media screen and (max-width: 767px) { @@ -577,7 +583,7 @@ ul.domTree, ul.domTree ul { } ul.domTree li { - padding: 0; + padding: 0; margin: 0; list-style: none; position: relative; diff --git a/source b/source index ecafb63e220..d7feda2da39 100644 --- a/source +++ b/source @@ -25,17 +25,17 @@ - HTML Standard + HTML Standard + HTML Standard, Developer's Edition - + -