[Gmp-commit] /var/hg/www: Layout, colour trimming.
mercurial at gmplib.org
mercurial at gmplib.org
Mon Nov 21 21:00:44 UTC 2016
details: /var/hg/www/rev/83b024029328
changeset: 249:83b024029328
user: Torbjorn Granlund <tg at gmplib.org>
date: Mon Nov 21 22:00:41 2016 +0100
description:
Layout, colour trimming.
diffstat:
404.html | 2 +-
devel/GMPng.html | 2 +-
devel/arm.html | 4 ++--
devel/bugstate.html | 4 ++--
devel/incompatibility.html | 4 ++--
devel/index.html | 2 +-
devel/mini-gmp-status.html | 2 +-
devel/new.css | 2 +-
devel/perfguard.html | 4 ++--
devel/repo-usage.html | 4 ++--
devel/s390.html | 4 ++--
devel/sec.html | 4 ++--
devel/sparc.html | 4 ++--
devel/testsystems.html | 2 +-
devel/x86-64.html | 4 ++--
gmp4.0.html | 2 +-
gmp4.1.html | 2 +-
gmp4.2.html | 2 +-
gmp4.3.html | 2 +-
gmp5.0.html | 2 +-
gmp5.1.html | 2 +-
gmp6.0.html | 2 +-
gmp6.1.html | 2 +-
gmpbench.html | 2 +-
index.html | 2 +-
macos.html | 2 +-
new.css | 2 +-
oldrel/index.html | 2 +-
pi-with-gmp.html | 2 +-
security.html | 2 +-
30 files changed, 39 insertions(+), 39 deletions(-)
diffs (truncated from 441 to 300 lines):
diff -r 1757dcccbe53 -r 83b024029328 404.html
--- a/404.html Mon Nov 21 21:48:09 2016 +0100
+++ b/404.html Mon Nov 21 22:00:41 2016 +0100
@@ -19,7 +19,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
diff -r 1757dcccbe53 -r 83b024029328 devel/GMPng.html
--- a/devel/GMPng.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/GMPng.html Mon Nov 21 22:00:41 2016 +0100
@@ -20,7 +20,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#808080" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
diff -r 1757dcccbe53 -r 83b024029328 devel/arm.html
--- a/devel/arm.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/arm.html Mon Nov 21 22:00:41 2016 +0100
@@ -20,7 +20,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
@@ -164,7 +164,7 @@
</div>
-<span style="font-size:50%;">Last modified: 2014-08-22 </span>
+<span style="font-size:50%;">Last modified: 2016-11-21 </span>
<div id="footer">
<table style="width:100%; background-color:#e8e8e8;">
diff -r 1757dcccbe53 -r 83b024029328 devel/bugstate.html
--- a/devel/bugstate.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/bugstate.html Mon Nov 21 22:00:41 2016 +0100
@@ -18,7 +18,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
@@ -155,7 +155,7 @@
</table>
<br><br>
-<font size="-4">Last modified: 2014-12-25 </font>
+<font size="-4">Last modified: 2016-11-21 </font>
</body>
</html>
diff -r 1757dcccbe53 -r 83b024029328 devel/incompatibility.html
--- a/devel/incompatibility.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/incompatibility.html Mon Nov 21 22:00:41 2016 +0100
@@ -19,7 +19,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
@@ -29,7 +29,7 @@
</td>
<td style="text-align:center;">
<span style="font-size:200%;">GMP incompatible changes</span> <br>
- <span style="font-size:75%;">Last modified: 2015-12-26 </span>
+ <span style="font-size:75%;">Last modified: 2016-11-21 </span>
</td>
</tr>
</table>
diff -r 1757dcccbe53 -r 83b024029328 devel/index.html
--- a/devel/index.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/index.html Mon Nov 21 22:00:41 2016 +0100
@@ -20,7 +20,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#808080" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana" fill="#ffffff">
diff -r 1757dcccbe53 -r 83b024029328 devel/mini-gmp-status.html
--- a/devel/mini-gmp-status.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/mini-gmp-status.html Mon Nov 21 22:00:41 2016 +0100
@@ -20,7 +20,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#808080" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
diff -r 1757dcccbe53 -r 83b024029328 devel/new.css
--- a/devel/new.css Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/new.css Mon Nov 21 22:00:41 2016 +0100
@@ -6,7 +6,7 @@
font-family: times, serif;
background-color: #b0b0b0;
color: black;
- margin: 1em 4em 0em 5em;
+ margin: 1em 4em 0em 3em;
font-size: 11pt;
}
diff -r 1757dcccbe53 -r 83b024029328 devel/perfguard.html
--- a/devel/perfguard.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/perfguard.html Mon Nov 21 22:00:41 2016 +0100
@@ -19,7 +19,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
@@ -122,7 +122,7 @@
</div>
<div id="footer">
-<font size="-4">Last modified: 2013-10-06 </font>
+<font size="-4">Last modified: 2016-11-21 </font>
<table cellpadding=0 width="100%" bgcolor="#e8e8e8">
<tr>
<td align="center">
diff -r 1757dcccbe53 -r 83b024029328 devel/repo-usage.html
--- a/devel/repo-usage.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/repo-usage.html Mon Nov 21 22:00:41 2016 +0100
@@ -20,7 +20,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
@@ -101,7 +101,7 @@
</div>
-<span style="font-size:50%;">Last modified: 2016-11-09 </span>
+<span style="font-size:50%;">Last modified: 2016-11-21 </span>
<div id="footer">
<table style="width:100%; background-color:#e8e8e8;">
diff -r 1757dcccbe53 -r 83b024029328 devel/s390.html
--- a/devel/s390.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/s390.html Mon Nov 21 22:00:41 2016 +0100
@@ -21,7 +21,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
@@ -121,7 +121,7 @@
</p>
<br><br>
-<font size="-4">Last modified: 2012-11-06 </font>
+<font size="-4">Last modified: 2016-11-21 </font>
<div id="footer-spacer"></div>
diff -r 1757dcccbe53 -r 83b024029328 devel/sec.html
--- a/devel/sec.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/sec.html Mon Nov 21 22:00:41 2016 +0100
@@ -20,7 +20,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
@@ -160,7 +160,7 @@
</div>
-<span style="font-size:50%;">Last modified: 2014-08-24 </span>
+<span style="font-size:50%;">Last modified: 2016-11-21 </span>
<div id="footer">
<table style="width:100%; background-color:#e8e8e8;">
diff -r 1757dcccbe53 -r 83b024029328 devel/sparc.html
--- a/devel/sparc.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/sparc.html Mon Nov 21 22:00:41 2016 +0100
@@ -20,7 +20,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
@@ -141,7 +141,7 @@
</div>
-<span style="font-size:50%;">Last modified: 2014-08-22 </span>
+<span style="font-size:50%;">Last modified: 2016-11-21 </span>
<div id="footer">
<table style="width:100%; background-color:#e8e8e8;">
diff -r 1757dcccbe53 -r 83b024029328 devel/testsystems.html
--- a/devel/testsystems.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/testsystems.html Mon Nov 21 22:00:41 2016 +0100
@@ -19,7 +19,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#808080" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
diff -r 1757dcccbe53 -r 83b024029328 devel/x86-64.html
--- a/devel/x86-64.html Mon Nov 21 21:48:09 2016 +0100
+++ b/devel/x86-64.html Mon Nov 21 22:00:41 2016 +0100
@@ -20,7 +20,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
@@ -440,7 +440,7 @@
</div>
-<span style="font-size:50%;">Last modified: 2016-09-06 </span>
+<span style="font-size:50%;">Last modified: 2016-11-21 </span>
<div id="footer">
<table style="width:100%; background-color:#e8e8e8;">
diff -r 1757dcccbe53 -r 83b024029328 gmp4.0.html
--- a/gmp4.0.html Mon Nov 21 21:48:09 2016 +0100
+++ b/gmp4.0.html Mon Nov 21 22:00:41 2016 +0100
@@ -19,7 +19,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
diff -r 1757dcccbe53 -r 83b024029328 gmp4.1.html
--- a/gmp4.1.html Mon Nov 21 21:48:09 2016 +0100
+++ b/gmp4.1.html Mon Nov 21 22:00:41 2016 +0100
@@ -19,7 +19,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
diff -r 1757dcccbe53 -r 83b024029328 gmp4.2.html
--- a/gmp4.2.html Mon Nov 21 21:48:09 2016 +0100
+++ b/gmp4.2.html Mon Nov 21 22:00:41 2016 +0100
@@ -19,7 +19,7 @@
viewBox="0 0 1500 500"
xmlns="http://www.w3.org/2000/svg">
<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
- <text x="0" y="440" fill="#e00000" font-size="540" font-family="arial" font-weight="bold">
+ <text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
<text x="50" y="500" font-size="70" font-family="Verdana">
diff -r 1757dcccbe53 -r 83b024029328 gmp4.3.html
--- a/gmp4.3.html Mon Nov 21 21:48:09 2016 +0100
+++ b/gmp4.3.html Mon Nov 21 22:00:41 2016 +0100
More information about the gmp-commit
mailing list