www/server/staging/proprietary proprietary-back...

[Therese Godefroy]

CVSROOT:        /webcvs/www
Module name:    www
Changes by:     Therese Godefroy <th_g> 19/11/02 09:40:44

Modified files:
        server/staging/proprietary: proprietary-back-doors.html 

Log message:
        Add hr around #about-dir.

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/server/staging/proprietary/proprietary-back-doors.html?cvsroot=www&r1=1.8&r2=1.9

Patches:
Index: proprietary-back-doors.html
===================================================================
RCS file: 
/webcvs/www/www/server/staging/proprietary/proprietary-back-doors.html,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -b -r1.8 -r1.9
--- proprietary-back-doors.html 2 Nov 2019 12:03:24 -0000       1.8
+++ proprietary-back-doors.html 2 Nov 2019 13:40:44 -0000       1.9
@@ -9,7 +9,8 @@
 -->
 <title>Proprietary Back Doors - GNU Project - Free Software Foundation</title>
 <style type="text/css" media="print,screen"><!--
-#about-dir { font-size: .91em; color: #444; margin: 2.5em 0 2em; }
+.article h2 { font-size: 1.8em; }
+#about-dir { font-size: .91em; color: #444; }
 #about-page { font-style: italic; }
 #about-page p { margin: .5em 0; }
 .important { margin: 2em 0 2em; }
@@ -26,17 +27,19 @@
 <a href="/proprietary/proprietary.html">Proprietary malware</a> &rarr;
 Back doors</p>
 
-<h2>Proprietary Back Doors</h2>
-
 <div class="article reduced-width">
 
+<h2>Proprietary Back Doors</h2>
+
 <div id="about-dir">
+<hr class="thin" />
 <p>Nonfree (proprietary) software is very often malware (designed to
 mistreat the user). Nonfree software is controlled by its developers,
 which puts them in a position of power over the users; <a
 href="/philosophy/free-software-even-more-important.html">that is the
 basic injustice</a>. The developers and manufacturers often exercise
 that power to the detriment of the users they ought to serve.</p>
+<hr class="thin" />
 </div>
 
 <div id="about-page">
@@ -672,7 +675,7 @@
 
 <p class="unprintable">Updated:
 <!-- timestamp start -->
-$Date: 2019/11/02 12:03:24 $
+$Date: 2019/11/02 13:40:44 $
 <!-- timestamp end -->
 </p>
 </div>