[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
www/server/staging/proprietary proprietary.html...
From: |
Therese Godefroy |
Subject: |
www/server/staging/proprietary proprietary.html... |
Date: |
Wed, 3 Oct 2018 05:24:29 -0400 (EDT) |
CVSROOT: /webcvs/www
Module name: www
Changes by: Therese Godefroy <th_g> 18/10/03 05:24:29
Modified files:
server/staging/proprietary: proprietary.html
server/staging/proprietary/rec: proprietary-stub.html
Log message:
Fix TOC max-width.
CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/server/staging/proprietary/proprietary.html?cvsroot=www&r1=1.8&r2=1.9
http://web.cvs.savannah.gnu.org/viewcvs/www/server/staging/proprietary/rec/proprietary-stub.html?cvsroot=www&r1=1.10&r2=1.11
Patches:
Index: proprietary.html
===================================================================
RCS file: /webcvs/www/www/server/staging/proprietary/proprietary.html,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -b -r1.8 -r1.9
--- proprietary.html 3 Oct 2018 09:08:10 -0000 1.8
+++ proprietary.html 3 Oct 2018 09:24:29 -0000 1.9
@@ -13,7 +13,7 @@
.button { float: left; margin: .5em; }
.button a { display: inline-block; }
#TOC {
- max-width: 100%;
+ max-width: 94%;
padding: .5em 3% 2em;
margin: 2.5em auto;
background: #f5f5f5;
@@ -271,7 +271,7 @@
<p class="unprintable">Updated:
<!-- timestamp start -->
-$Date: 2018/10/03 09:08:10 $
+$Date: 2018/10/03 09:24:29 $
<!-- timestamp end -->
</p>
</div>
Index: rec/proprietary-stub.html
===================================================================
RCS file: /webcvs/www/www/server/staging/proprietary/rec/proprietary-stub.html,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -b -r1.10 -r1.11
--- rec/proprietary-stub.html 3 Oct 2018 09:08:10 -0000 1.10
+++ rec/proprietary-stub.html 3 Oct 2018 09:24:29 -0000 1.11
@@ -13,7 +13,7 @@
.button { float: left; margin: .5em; }
.button a { display: inline-block; }
#TOC {
- max-width: 100%;
+ max-width: 94%;
padding: .5em 3% 2em;
margin: 2.5em auto;
background: #f5f5f5;
@@ -221,7 +221,7 @@
<p class="unprintable">Updated:
<!-- timestamp start -->
-$Date: 2018/10/03 09:08:10 $
+$Date: 2018/10/03 09:24:29 $
<!-- timestamp end -->
</p>
</div>