[elpa] main 2ecaef9469: html/layout.css: Re-add the CSS classes options

[Stefan Monnier]

branch: main
commit 2ecaef9469bd46bf6433d9913bac9791559b12f9
Author: Stefan Monnier <monnier@iro.umontreal.ca>
Commit: Stefan Monnier <monnier@iro.umontreal.ca>

    html/layout.css: Re-add the CSS classes options
    
    The HTML files are rebuilt lazily, so we have to work with
    old HTML files that haven't yet been re-generated.
---
 html/layout.css | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

diff --git a/html/layout.css b/html/layout.css
index 16c4aa6d30..7d3be41ffd 100644
--- a/html/layout.css
+++ b/html/layout.css
@@ -1,4 +1,4 @@
-/* Copyright (C) 2010-2022, 2024 Free Software Foundation, Inc.
+l/* Copyright (C) 2010-2022, 2024 Free Software Foundation, Inc.
 
 This file is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
@@ -74,7 +74,7 @@ html, body {
   height: 100%;
   margin: 0 auto -50px; /* the bottom margin is the negative value of the 
footer's height */
 }
-footer, .push {
+footer, .push, .footer {
   height: 90px; /* .push must be the same height as .footer */
 }
 
@@ -206,7 +206,7 @@ dd {
     display: none;
 }
 
-header {
+header, .header {
   color: white;
   text-align: center;
   background-color: #bb3955;
@@ -214,27 +214,27 @@ header {
   border-bottom: 6px solid #691240;
 }
 
-header p {
+header p, .header p {
   margin: 0;
 }
 
-header a {
+header a, .header a {
   color: rgb(240, 255, 135);
   text-decoration: none;
 }
 
-header a:hover {
+header a:hover, .header a:hover {
   color: rgb(240, 255, 135);
   text-decoration: underline;
   background: transparent;
 }
 
-header.small {
+header.small, .header.small {
   text-align: left;
   border-width: 3px;
 }
 
-header.small h1 {
+header.small h1, .header.small h1 {
   display: inline;
   font-size: 1.5em;
   margin: 0;
@@ -243,7 +243,7 @@ header.small h1 {
   padding-left: 120px;
 }
 
-header.small .container {
+header.small .container, .header.small .container {
   padding: 20px;
 }
 
@@ -283,7 +283,7 @@ td {
   border-bottom: 1px solid #ddd;
 }
 
-footer {
+footer, .footer {
   border-top: 1px solid #999;
   text-align:center;
   font-size: 0.9em;
@@ -291,11 +291,11 @@ footer {
   color: #666;
 }
 
-footer .container {
+footer .container, .footer .container {
   padding: 15px 0;
 }
 
-footer p {
+footer p, .footer p {
   margin: 0;
   font-size: .8em;
   padding: 0;
@@ -326,7 +326,7 @@ footer p {
     font-size: 1.4em;
   }
 
-  header img {
+  header img, .header img {
     width: 300px;
   }
 
@@ -341,7 +341,7 @@ footer p {
 
 @media screen and (max-width: 439px) {
 
-  header img {
+  header img, .header img {
     width: 250px;
   }