Download page styling

Consistent with the new header for the rest of the site

download.html

@@ -1,31 +1,34 @@
-<p class="head good">
-  <span class="release-current">
-    Current Release: <span class="version"><!--%curver--></span>
-    <span class="version date">Released: <!--%curver-date--></span>
-  </span>
-</p>
-<p>
+<div class="headline">
+  <h3>
+    Version <span class="version"><!--%curver--></span>
+    <br />
+    <span class="version date">Released <!--%curver-date--></span>
+  </h3>
+
+  <p class="info">
     GNU ease.js can be downloaded in a variety of formats, depending on the
-  environment in which it will be used.
+    environment in which it will be used. Releases are always stable and
+    production-ready.
   </p>
 
-<ul>
+  <ul class="dlopts">
     <li>
-    <a href="https://ftp.gnu.org/gnu/easejs/easejs-latest.tar.gz">Source Tarball</a>
-    - Full source code, debugging, development, production, and build files
+      <a href="https://ftp.gnu.org/gnu/easejs/easejs-latest.tar.gz">Source Tarball</a
+      >&mdash;Full source code, debugging, development, production, and build files
       <a href="https://ftp.gnu.org/gnu/easejs/easejs-latest.tar.gz.sig">(.sig)</a>
     </li>
     <li>
-    <a href="https://ftp.gnu.org/gnu/easejs/ease-latest.min.js">Production</a>
-    - Minified, 9.4 kB gzipped (32 kB uncompressed)
+      <a href="https://ftp.gnu.org/gnu/easejs/ease-latest.min.js">Production</a
+      >&mdash;Minified, 9.4 kB gzipped (32 kB uncompressed)
       <a href="https://ftp.gnu.org/gnu/easejs/ease-latest.min.js.sig">(.sig)</a>
     </li>
     <li>
-    <a href="https://ftp.gnu.org/gnu/easejs/ease-latest.js">Development</a>
-    - Unminified, 42 kB gzipped (179 kB uncompressed)
+      <a href="https://ftp.gnu.org/gnu/easejs/ease-latest.js">Development</a
+      >&mdash;Unminified, 42 kB gzipped (179 kB uncompressed)
       <a href="https://ftp.gnu.org/gnu/easejs/ease-latest.js.sig">(.sig)</a>
     </li>
   </ul>
+</div>
 
 <p>
   The tarball contains the full source code, combined files for debugging GNU

style.css

@@ -296,8 +296,6 @@ span.shell-start {
   border-bottom-color: #4e9a06;
 }
 
-
-/** index **/
 .headline {
   position: relative;
 
@@ -332,6 +330,24 @@ span.shell-start {
   margin: 0.5em 0em;
 }
 
+.headline .info,
+.headline .info3 {
+  position: absolute;
+
+  width: 300px;
+  top: 1.5em;
+  right: 1em;
+
+  margin-right: 2em;
+}
+.headline .info3 {
+  /* 3-line title */
+  top: 2.5em;
+}
+
+
+
+/** index **/
 .btn.download {
   float: right;
   margin-top: 0.65em;
@@ -386,6 +402,10 @@ span.release-current .date {
   float: right;
 }
 
+ul.dlopts {
+  font-size: 1.1em;
+}
+
 
 /** news **/
 h3.git-commit {
@@ -555,14 +575,6 @@ blockquote.quote {
   font-style:  italic;
 }
 
-.headline blockquote.quote {
-  position: absolute;
-
-  width: 300px;
-  top: 2.5em;
-  right: 1em;
-}
-
 
 /* from manual (overrides some of the styles above) */
 div.float {

whyfreejs.html

@@ -1,7 +1,7 @@
 <div class="headline">
   <h3>The Importance of JavaScript that Respects Your Freedoms</h3>
 
-  <blockquote class="quote">
+  <blockquote class="quote info3">
     It occurred to me that when we announce ease.js it would be a good occasion to
     post something about the importance of making JavaScript code free.
     &mdash;<a href="http://stallman.org" class="subtle">Richard Stallman</a>