[Gmp-commit] /var/hg/www: 3 new changesets
mercurial at gmplib.org
mercurial at gmplib.org
Mon Apr 2 14:28:17 UTC 2018
details: /var/hg/www/rev/3cbc5b6647fb
changeset: 267:3cbc5b6647fb
user: Torbjorn Granlund <tg at gmplib.org>
date: Mon Apr 02 16:04:08 2018 +0200
description:
Update header/footer to use css.
details: /var/hg/www/rev/0391cd81aa3f
changeset: 268:0391cd81aa3f
user: Torbjorn Granlund <tg at gmplib.org>
date: Mon Apr 02 16:08:44 2018 +0200
description:
Update header/footer to use css.
details: /var/hg/www/rev/3ecc180f1e35
changeset: 269:3ecc180f1e35
user: Torbjorn Granlund <tg at gmplib.org>
date: Mon Apr 02 16:28:13 2018 +0200
description:
Lighten up pages.
diffstat:
devel/GMPng.html | 6 +-
devel/alimbstat.html | 6 +-
devel/incompatibility.html | 6 +-
devel/index.html | 8 +-
devel/mini-gmp-status.html | 6 +-
devel/new.css | 2 +-
devel/perfguard.html | 6 +-
devel/testsystems.html | 8 +-
gmp6.1.html | 69 ++++++++++++++++----------------
gmpbench.html | 87 ++++++++++++++++++++++++++---------------
index.html | 8 +-
new.css | 2 +-
pi-with-gmp.html | 95 ++++++++++++++++++++++++++++-----------------
security.html | 81 +++++++++++++++++++++-----------------
14 files changed, 221 insertions(+), 169 deletions(-)
diffs (truncated from 728 to 300 lines):
diff -r 03699a8bdcc1 -r 3ecc180f1e35 devel/GMPng.html
--- a/devel/GMPng.html Mon Apr 02 14:39:33 2018 +0200
+++ b/devel/GMPng.html Mon Apr 02 16:28:13 2018 +0200
@@ -13,13 +13,13 @@
<body>
<div id="top">
- <table style="width:100%; background-color:#808080;">
+ <table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:left;">
<svg width="180px" height="60px" version="1.1"
viewBox="0 0 1500 500"
xmlns="https://www.w3.org/2000/svg">
- <rect x="0" y="0" width="1500" height="540" fill="#808080" />
+ <rect x="0" y="0" width="1500" height="540" fill="#b0b0b0" />
<text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
@@ -377,7 +377,7 @@
</div>
<div id="footer">
-<table style="width:100%; background-color:#808080;">
+<table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:center;">
<div style="font-size:80%">
diff -r 03699a8bdcc1 -r 3ecc180f1e35 devel/alimbstat.html
--- a/devel/alimbstat.html Mon Apr 02 14:39:33 2018 +0200
+++ b/devel/alimbstat.html Mon Apr 02 16:28:13 2018 +0200
@@ -14,13 +14,13 @@
<body>
<div id="top">
- <table style="width:100%; background-color:#808080;">
+ <table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:left;">
<svg width="180px" height="60px" version="1.1"
viewBox="0 0 1500 500"
xmlns="https://www.w3.org/2000/svg">
- <rect x="0" y="0" width="1500" height="540" fill="#808080" />
+ <rect x="0" y="0" width="1500" height="540" fill="#b0b0b0" />
<text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
@@ -2012,7 +2012,7 @@
</div>
<div id="footer">
-<table style="width:100%; background-color:#808080;">
+<table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:center;">
<div style="font-size:80%">
diff -r 03699a8bdcc1 -r 3ecc180f1e35 devel/incompatibility.html
--- a/devel/incompatibility.html Mon Apr 02 14:39:33 2018 +0200
+++ b/devel/incompatibility.html Mon Apr 02 16:28:13 2018 +0200
@@ -12,13 +12,13 @@
<body>
<div id="top">
- <table style="width:100%; background-color:#808080;">
+ <table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:left;">
<svg width="180px" height="60px" version="1.1"
viewBox="0 0 1500 500"
xmlns="https://www.w3.org/2000/svg">
- <rect x="0" y="0" width="1500" height="540" fill="#808080" />
+ <rect x="0" y="0" width="1500" height="540" fill="#b0b0b0" />
<text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
@@ -132,7 +132,7 @@
</div>
<div id="footer">
-<table style="width:100%; background-color:#808080;">
+<table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:center;">
<div style="font-size:80%">
diff -r 03699a8bdcc1 -r 3ecc180f1e35 devel/index.html
--- a/devel/index.html Mon Apr 02 14:39:33 2018 +0200
+++ b/devel/index.html Mon Apr 02 16:28:13 2018 +0200
@@ -13,13 +13,13 @@
<body>
<div id="top">
- <table style="width:100%; background-color:#808080;">
+ <table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:left;">
<svg width="180px" height="60px" version="1.1"
viewBox="0 0 1500 500"
xmlns="https://www.w3.org/2000/svg">
- <rect x="0" y="0" width="1500" height="540" fill="#808080" />
+ <rect x="0" y="0" width="1500" height="540" fill="#b0b0b0" />
<text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
@@ -37,7 +37,7 @@
</div>
<div id="container">
- <div id="top-spacer"></div>
+<div id="top-spacer"></div>
<br><br>
@@ -700,7 +700,7 @@
</div>
<div id="footer">
-<table style="width:100%; background-color:#808080;">
+<table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:center;">
<div style="font-size:80%">
diff -r 03699a8bdcc1 -r 3ecc180f1e35 devel/mini-gmp-status.html
--- a/devel/mini-gmp-status.html Mon Apr 02 14:39:33 2018 +0200
+++ b/devel/mini-gmp-status.html Mon Apr 02 16:28:13 2018 +0200
@@ -13,13 +13,13 @@
<body>
<div id="top">
- <table style="width:100%; background-color:#808080;">
+ <table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:left;">
<svg width="180px" height="60px" version="1.1"
viewBox="0 0 1500 500"
xmlns="https://www.w3.org/2000/svg">
- <rect x="0" y="0" width="1500" height="540" fill="#808080" />
+ <rect x="0" y="0" width="1500" height="540" fill="#b0b0b0" />
<text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
@@ -210,7 +210,7 @@
</div>
<div id="footer">
-<table style="width:100%; background-color:#808080;">
+<table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:center;">
<div style="font-size:80%">
diff -r 03699a8bdcc1 -r 3ecc180f1e35 devel/new.css
--- a/devel/new.css Mon Apr 02 14:39:33 2018 +0200
+++ b/devel/new.css Mon Apr 02 16:28:13 2018 +0200
@@ -4,7 +4,7 @@
body
{
font-family: times, serif;
- background-color: #b0b0b0;
+ background-color: #d0d0d0;
color: black;
margin: 1em 4em 0em 3em;
font-size: 11pt;
diff -r 03699a8bdcc1 -r 3ecc180f1e35 devel/perfguard.html
--- a/devel/perfguard.html Mon Apr 02 14:39:33 2018 +0200
+++ b/devel/perfguard.html Mon Apr 02 16:28:13 2018 +0200
@@ -12,13 +12,13 @@
<body>
<div id="top">
- <table style="width:100%; background-color:#808080;">
+ <table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:left;">
<svg width="180px" height="60px" version="1.1"
viewBox="0 0 1500 500"
xmlns="https://www.w3.org/2000/svg">
- <rect x="0" y="0" width="1500" height="540" fill="#808080" />
+ <rect x="0" y="0" width="1500" height="540" fill="#b0b0b0" />
<text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
@@ -123,7 +123,7 @@
</div>
<div id="footer">
-<table style="width:100%; background-color:#808080;">
+<table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:center;">
<div style="font-size:80%">
diff -r 03699a8bdcc1 -r 3ecc180f1e35 devel/testsystems.html
--- a/devel/testsystems.html Mon Apr 02 14:39:33 2018 +0200
+++ b/devel/testsystems.html Mon Apr 02 16:28:13 2018 +0200
@@ -12,13 +12,13 @@
<body>
<div id="top">
- <table style="width:100%; background-color:#808080;">
+ <table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:left;">
<svg width="180px" height="60px" version="1.1"
viewBox="0 0 1500 500"
xmlns="https://www.w3.org/2000/svg">
- <rect x="0" y="0" width="1500" height="540" fill="#808080" />
+ <rect x="0" y="0" width="1500" height="540" fill="#b0b0b0" />
<text x="0" y="440" fill="#c00000" font-size="540" font-family="arial" font-weight="bold">
GMP
</text>
@@ -88,7 +88,7 @@
<th> location </th>
</tr>
<tr>
- <td style="width:20pt; background-color:#d0d0d0"> </td>
+ <td style="width:20pt; background-color:#b0b0b0"> </td>
<td style="width:20pt; background-color:#a0a0a0"> </td>
<td> TUG in Stockholm, access via <code>shell.gmplib.org</code> </td>
</tr>
@@ -2074,7 +2074,7 @@
</div>
<div id="footer">
-<table style="width:100%; background-color:#808080;">
+<table style="width:100%; background-color:#b0b0b0;">
<tr>
<td style="text-align:center;">
<div style="font-size:80%">
diff -r 03699a8bdcc1 -r 3ecc180f1e35 gmp6.1.html
--- a/gmp6.1.html Mon Apr 02 14:39:33 2018 +0200
+++ b/gmp6.1.html Mon Apr 02 16:28:13 2018 +0200
@@ -12,30 +12,30 @@
<body>
<div id="top">
-<table width="100%" bgcolor="#808080">
- <tr>
- <td align="left">
- <svg width="180px" height="60px" version="1.1"
- viewBox="0 0 1500 500"
- xmlns="https://www.w3.org/2000/svg">
- <rect x="0" y="0" width="1500" height="540" fill="#808080" />
- <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">
- «Arithmetic without limitations»
- </text>
- </svg>
- </td>
- <td align="center">
- <font size="+2">GMP 6.1 release notes</font>
- </td>
- </tr>
-</table>
+ <table style="width:100%; background-color:#b0b0b0;">
+ <tr>
+ <td align="left">
+ <svg width="180px" height="60px" version="1.1"
+ viewBox="0 0 1500 500"
+ xmlns="https://www.w3.org/2000/svg">
+ <rect x="0" y="0" width="1500" height="540" fill="#b0b0b0" />
+ <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">
+ «Arithmetic without limitations»
+ </text>
+ </svg>
+ </td>
+ <td align="center">
+ <font size="+2">GMP 6.1 release notes</font>
+ </td>
+ </tr>
+ </table>
</div>
<div id="container">
- <div id="top-spacer"></div>
+<div id="top-spacer"></div>
<br><br>
@@ -199,32 +199,33 @@
<a href="devel/repo-usage.html">the GMP repository usage instructions</a> for
more information.
</p>
- <div id="footer-spacer"></div>
+
+<div id="footer-spacer"></div>
</div>
<div id="footer">
-<table cellpadding=0 width="100%" bgcolor="#808080">
+<table style="width:100%; background-color:#b0b0b0;">
<tr>
- <td align="center">
- <font size="-3">
- Please send comments about this page to gmp-discuss<font> at </font>gmplib.org
- </font>
+ <td style="text-align:center;">
More information about the gmp-commit
mailing list