[htdocs] css: fix random whitespace noise

  ---
 glibc.css | 22 ++++++-------
 gnu.css   | 92 +++++++++++++++++++++++++++----------------------------
 2 files changed, 56 insertions(+), 58 deletions(-)
  

On 12/19/23 21:13, Mike Frysinger wrote:
> ---
>  glibc.css | 22 ++++++-------
>  gnu.css   | 92 +++++++++++++++++++++++++++----------------------------
>  2 files changed, 56 insertions(+), 58 deletions(-)

LGTM. Applied.

Reviewed-by: Carlos O'Donell <carlos@redhat.com>

> 
> diff --git a/glibc.css b/glibc.css
> index b367255c0a6a..817276a09851 100644
> --- a/glibc.css
> +++ b/glibc.css
> @@ -16,17 +16,17 @@ body {
>  
>  h1.title {
>  	color: #ffffff;
> -	text-shadow: 2px 4px 3px rgba(0,0,0,0.3);	
> +	text-shadow: 2px 4px 3px rgba(0,0,0,0.3);
>  }
> -	
> +
>  #centercontent {
>  	background:#fff;
>  	border:1px solid #000;
>  	padding: 10px 10px 10px 10px;
>  	voice-family: "\"}\"";
>  	voice-family: inherit;
> -   	margin-left: 51px;
> -   	margin-right:51px;
> +	margin-left: 51px;
> +	margin-right:51px;
>  }
>  
>  #menucontent {
> @@ -38,8 +38,8 @@ h1.title {
>  	padding: 10px 10px 10px 10px;
>  	voice-family: "\"}\"";
>  	voice-family: inherit;
> -   	margin-left: 51px;
> -   	margin-right:51px;
> +	margin-left: 51px;
> +	margin-right:51px;
>  	margin-bottom:0px;
>  	padding-bottom:10px;
>  }
> @@ -91,8 +91,8 @@ ul.menu li {
>  	voice-family: "\"}\"";
>  	voice-family: inherit;
>  	min-height:59px;
> -   	margin-left: 51px;
> -   	margin-right:51px;
> +	margin-left: 51px;
> +	margin-right:51px;
>  }
>  
>  #footer {
> @@ -108,13 +108,13 @@ ul.menu li {
>  	color:#ffffff;
>  	padding:4px;
>  	margin-left:51px;
> -  	margin-right:51px;
> +	margin-right:51px;
>  }
>  
>  p,h1,h2,h3,h4,pre,select,form,input {
>  	margin:0px 10px 10px 10px;
>  }
> -		
> +
>  h1 {
>  	font-size:18pt;
>  	padding-top:10px;
> @@ -124,7 +124,7 @@ h2 {
>  	font-size:16pt;
>  	padding-top:10px;
>  }
> -		
> +
>  h3 {
>  	font-size:14pt;
>  	padding-top:10px;
> diff --git a/gnu.css b/gnu.css
> index 9d5f5f1f1b50..7fd1cc7f2b0f 100644
> --- a/gnu.css
> +++ b/gnu.css
> @@ -1,42 +1,42 @@
> -body { 
> -	background-color: white; 
> +body {
> +	background-color: white;
>  	color: black;
>  	font-family: serif;
>  	font-size: 11pt;
>  }
>  
> -a:link { 
> - 	color: #1f00ff; 
> +a:link {
> +	color: #1f00ff;
>  	background-color: transparent;
>  	text-decoration: underline;
> - 	}
> +}
>  
> -a:visited { 
> - 	color: #9900dd; 
> +a:visited {
> +	color: #9900dd;
>  	background-color: transparent;
>  	text-decoration: underline;
> - 	}
> +}
>  
> -a:hover { 
> - 	color: #9900dd; 
> +a:hover {
> +	color: #9900dd;
>  	background-color: transparent;
>  	text-decoration: none;
> - 	}
> +}
>  
>  .center {
>  	text-align: center;
>  	font-size: 11pt;
>  }
>  
> -.italic { 
> - 	font-style: italic; 
> +.italic {
> +	font-style: italic;
>  	font-size: 11pt;
> - 	}
> +}
>  
>  .bold {
> -        font-weight: bold;
> +	font-weight: bold;
>  	font-size: 11pt;
> -        }
> +}
>  
>  .quote {
>  	margin-left: 40px;
> @@ -55,42 +55,42 @@ a:hover {
>  	border-style: solid;
>  	border-width: thin;
>  	color: #3366cc;
> -	background-color : #f2f2f9; 
> -	font-weight: bold; 
> +	background-color : #f2f2f9;
> +	font-weight: bold;
>  	font-size: 11pt;
>  }
>  
>  .td_con {
> -	padding-top: 3px; 
> -	padding-left: 8px; 
> -	padding-bottom: 3px; 
> -	color : #303030; 
> -	background-color : #fefefe; 
> +	padding-top: 3px;
> +	padding-left: 8px;
> +	padding-bottom: 3px;
> +	color : #303030;
> +	background-color : #fefefe;
>  	font-size: 10pt;
>  }
>  
>  .translations {
> -	background-color: transparent; 
> +	background-color: transparent;
>  	color: black;
>  	font-family: serif;
>  	font-size: 10pt;
>  }
>  
>  .fsflink {
> -	font-size: 10pt; 
> -	font-family: monospace; 
> -	color : #000000; 
> -	border-left: #3366cc thin solid; 
> -	border-bottom: #3366cc thin solid; 
> -	padding-left: 5px; 
> +	font-size: 10pt;
> +	font-family: monospace;
> +	color : #000000;
> +	border-left: #3366cc thin solid;
> +	border-bottom: #3366cc thin solid;
> +	padding-left: 5px;
>  	padding-bottom: 5px;
>  }
>  
>  .trans {
> -	font-size: 10pt; 
> -	color : #000000; 
> -	border-left: #3366cc thin solid; 
> -	padding-left: 20px; 
> +	font-size: 10pt;
> +	color : #000000;
> +	border-left: #3366cc thin solid;
> +	padding-left: 20px;
>  }
>  
>  img {
> @@ -99,7 +99,7 @@ img {
>  
>  td.side {
>  	color: #3366cc;
> -\*	background: #f2f2f9; 
> +\*	background: #f2f2f9;
>  	border-color: #3366cc;
>  	border-style: solid;
>  	border-width: thin; *\
> @@ -111,8 +111,8 @@ td.side {
>  }
>  
>  div.copyright {
> -	font-size: 8pt; 
> -	border: 2px solid #3366cc; 
> +	font-size: 8pt;
> +	border: 2px solid #3366cc;
>  	padding: 4px;
>  	background: #f2f2f9;
>  	border-style: solid;
> @@ -138,11 +138,11 @@ div.toc {
>  	border-style: solid;
>  	border-width: thin;
>  }
> -	
> +
>  
>  H2 {
>  	font-size: 12pt;
> -}	
> +}
>  H2.section {
>  	padding: 4px;
>  	background: #eeeeff;
> @@ -176,8 +176,7 @@ DD.maintainers {
>  	background: #ffffee;
>  }
>  
> -PRE.code
> -{
> +PRE.code {
>  	width: 80%;
>  	background: rgb(204, 204, 204);
>  	border: 1px solid black;
> @@ -185,10 +184,9 @@ PRE.code
>  	font-face: monospace;
>  }
>  
> -TD.toc_inactive 
> -{
> - 	background: #f0f0f0;
> - 	border-right: #bfbfbf 2px solid;
> - 	padding: 2px;
> - 	text-align: center;
> +TD.toc_inactive {
> +	background: #f0f0f0;
> +	border-right: #bfbfbf 2px solid;
> +	padding: 2px;
> +	text-align: center;
>  }