Skip to content

Commit 3ab1453

Browse files
xamidixamidi
committed
improved browser support + GitHub Pages redirection
- readme deployment at https://xamidi.github.io/pmGenerator/ - https://validator.w3.org/nu/?doc=https://xamidi.github.io/pmGenerator/ - https://validator.w3.org/nu/?doc=https://xamidi.github.io/pmGenerator/README.html - https://jigsaw.w3.org/css-validator/validator?uri=https://xamidi.github.io/pmGenerator/README.html
1 parent 6cf879f commit 3ab1453

File tree

2 files changed

+85
-60
lines changed

2 files changed

+85
-60
lines changed

‎README.html‎

Lines changed: 77 additions & 60 deletions
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,16 @@
44
1. Manually replace <body>[...]</body> with that of the updated version
55
2. RegEx replace-all: [FIND]class\=\"markdown-content\"[/FIND], [REPLACE]id\=\"readme\"[/REPLACE] (1 occurence)
66
3. RegEx replace-all: [FIND] class\=\" *\b(?!\bmarkdown-container ltr\b)[^\"]*\b *\"[/FIND], [REPLACE][/REPLACE] (289 occurences)
7-
4. RegEx replace-all: [FIND]<p><img src\=\"icon\/icon-readme\.png\" align\=\"left\"><\/p>[/FIND], [REPLACE]<img src\=\"icon\/icon-readme\.png\" align\=\"left\">[/REPLACE] (1 occurence)
8-
5. RegEx replace-all: [FIND]id\=\"-xamidi-pmgenerator\"[/FIND], [REPLACE]id\=\"xamidi-pmgenerator\"[/REPLACE] (1 occurence)
9-
6. RegEx replace-all: [FIND]<(/|)span>[/FIND], [REPLACE][/REPLACE] (570 occurences)
10-
7. [FIND]≈\ [/FIND], [REPLACE]≈  [/REPLACE] (24 occurences)
11-
8. [FIND]  \ [/FIND], [REPLACE]    [/REPLACE] (15+4 occurences)
12-
(NOTE: Use RegEx replacements to not invalidate these instructions. Further content may require more bugfixes as by steps 4 to 8.)
7+
4. RegEx replace-all: [FIND]<p><img src\=\"icon\/icon-readme\.png\" align\=\"left\"><\/p>[/FIND], [REPLACE]<article class\=\"container-lg\"><img src\=\"icon\/icon-readme\.png\" alt\=\"icon\" style=\"float: left; padding-right: 20px; margin-top: -24px;\">[/REPLACE] (1 occurence)
8+
5. RegEx replace-all: [FIND]<\/div><\/div><\/body>[/FIND], [REPLACE]<\/article><\/div><\/div><\/body>[/REPLACE] (1 occurence)
9+
6. RegEx replace-all: [FIND]id\=\"-xamidi-pmgenerator\"[/FIND], [REPLACE]id\=\"xamidi-pmgenerator\"[/REPLACE] (1 occurence)
10+
7. RegEx replace-all: [FIND]<(/|)span>[/FIND], [REPLACE][/REPLACE] (570 occurences)
11+
8. RegEx replace-all: [FIND]≈\ [/FIND], [REPLACE]≈  [/REPLACE] (24 occurences)
12+
9. RegEx replace-all: [FIND]  \ [/FIND], [REPLACE]    [/REPLACE] (15+4 occurences)
13+
(NOTE: Use RegEx replacements to not invalidate these instructions. Further content may require more bugfixes as by steps 4 to 9.)
1314
-->
14-
<html>
15+
<!DOCTYPE html>
16+
<html lang="en">
1517
<head>
1618
<meta charset="UTF-8">
1719
<title>README</title>
@@ -21,19 +23,19 @@
2123
* Gained from https://github.com/KrauseFx/markdown-to-html-github-style/blob/master/style.css (partly modified)
2224
*/
2325
body {
24-
font-family: -apple-system, BlinkMacSystemFont, Segoe UI, Helvetica, Arial, sans-serif, Apple Color Emoji, Segoe UI Emoji;
25-
font-size: 16px;
26-
line-height: 1.5;
27-
word-wrap: break-word;
28-
box-sizing: border-box;
26+
font-family: -apple-system, BlinkMacSystemFont, Segoe UI, Helvetica, Arial, sans-serif, Apple Color Emoji, Segoe UI Emoji;
27+
font-size: 16px;
28+
line-height: 1.5;
29+
word-wrap: break-word;
30+
box-sizing: border-box;
2931
color: #111;
3032
background-color: #fff;
31-
/*-webkit-text-size-adjust: 100%;
33+
-webkit-text-size-adjust: 100%;
3234
-webkit-font-feature-settings: "kern" 1;
3335
-moz-font-feature-settings: "kern" 1;
3436
-o-font-feature-settings: "kern" 1;
3537
font-feature-settings: "kern" 1;
36-
font-kerning: normal;*/
38+
font-kerning: normal;
3739
padding: 30px;
3840
}
3941
body > #content {
@@ -57,15 +59,19 @@
5759
}
5860
a {
5961
color: #0366d6;
60-
text-decoration: none; }
61-
a:visited {
62-
color: #0366d6; }
63-
a:hover {
64-
color: #0366d6;
65-
text-decoration: underline; }
62+
text-decoration: none;
63+
}
64+
a:visited {
65+
color: #0366d6;
66+
}
67+
a:hover {
68+
color: #0366d6;
69+
text-decoration: underline;
70+
}
6671
pre {
6772
background-color: #f6f8fa;
6873
border-radius: 3px;
74+
font-size: 85%;
6975
line-height: 1.45;
7076
overflow: auto;
7177
padding: 16px;
@@ -83,6 +89,7 @@
8389
background-color: transparent;
8490
border: 0;
8591
display: inline;
92+
font-size: inherit;
8693
line-height: inherit;
8794
margin: 0;
8895
overflow: visible;
@@ -108,8 +115,8 @@
108115
color: #6a737d !important;
109116
}
110117
table {
111-
width: max-content;
112-
max-width: 100%;
118+
width: max-content;
119+
max-width: 100%;
113120
line-height: 1.5;
114121
border-spacing: 3px;
115122
display: block;
@@ -139,87 +146,97 @@
139146
p {
140147
line-height: 24px;
141148
font-size: 16px;
142-
color: #24292e; }
149+
color: #24292e;
150+
}
143151
ul {
144-
margin-top: 0; }
152+
margin-top: 0;
153+
}
145154
li {
146155
color: #24292e;
147156
font-size: 16px;
148-
line-height: 1.5; }
157+
line-height: 1.5;
158+
}
149159
li + li {
150-
margin-top: 0.25em; }
160+
margin-top: 0.25em;
161+
}
151162
a:visited {
152-
color: #0366d6; }
163+
color: #0366d6;
164+
}
153165
h1, h2 {
154166
border-bottom: 1px solid #eaecef;
155-
color: #111; }
167+
color: #111;
168+
}
156169

157170
/**
158171
* Gained from analysis in Mozilla Firefox inspector
159172
*/
160173
.markdown-container {
161-
max-width: 1214px;
162-
margin: auto;
163-
background-color: #fff;
164-
border: 1px solid #e1e4e8;
165-
border-radius: 6px;
174+
max-width: 1214px;
175+
margin: auto;
176+
background-color: #fff;
177+
border: 1px solid #e1e4e8;
178+
border-radius: 6px;
166179
}
167180
.markdown-container img {
168-
background-color: #fff;
181+
background-color: #fff;
169182
}
170183
.markdown-container table img {
171-
background-color: transparent;
184+
background-color: transparent;
172185
}
173186
#readme {
174-
padding-top: 40px !important;
175-
padding-bottom: 40px !important;
176-
padding-left: 101px !important;
177-
padding-right: 101px !important;
187+
padding: 40px !important;
188+
}
189+
.container-lg {
190+
max-width: 1012px;
191+
margin-right: auto;
192+
margin-left: auto;
178193
}
179194
img {
180-
border-style: none;
181-
box-sizing: initial;
182-
margin-left: 0;
183-
margin-right: 0;
195+
border-style: none;
196+
box-sizing: initial;
197+
margin-left: 0;
198+
margin-right: 0;
184199
}
185200
img[align="left"] {
186-
padding-right: 20px;
201+
padding-right: 20px;
187202
}
188203
img[align=right] {
189-
padding-left:20px;
204+
padding-left:20px;
190205
}
191206
h1, h2, h3, h4, h5, h6 {
192-
margin-top: 24px;
193-
margin-bottom: 16px;
194-
font-weight: 600;
195-
line-height: 1.25;
207+
margin-top: 24px;
208+
margin-bottom: 16px;
209+
font-weight: 600;
210+
line-height: 1.25;
196211
}
197212
h1, h2 {
198-
padding-bottom: .3em;
213+
padding-bottom: .3em;
214+
}
215+
h1 {
216+
font-size: 2em;
199217
}
200218
h3 {
201-
font-size: 1.25em;
219+
font-size: 1.25em;
202220
}
203221
ol, ul {
204-
padding-left: 2em;
222+
padding-left: 2em;
205223
}
206224
ol ol, ul ol {
207-
list-style-type: lower-roman;
225+
list-style-type: lower-roman;
208226
}
209227
ol ol ol, ol ul ol, ul ol ol, ul ul ol {
210-
list-style-type: lower-alpha;
228+
list-style-type: lower-alpha;
211229
}
212230
li br {
213-
box-sizing: border-box;
214-
line-height: 1.5;
215-
margin-bottom: 6px;
231+
box-sizing: border-box;
232+
line-height: 1.5;
216233
}
217234
b, strong {
218-
font-weight: 600;
235+
font-weight: 600;
219236
}
220237
</style>
221238
</head>
222-
<body><div class="markdown-container ltr"><div id="readme"><img src="icon/icon-readme.png" align="left">
239+
<body><div class="markdown-container ltr"><div id="readme"><article class="container-lg"><img src="icon/icon-readme.png" alt="icon" style="float: left; padding-right: 20px; margin-top: -24px;">
223240
<h1 id="xamidi-pmgenerator">@xamidi/pmGenerator</h1>
224241
<p>Code initially extracted from <a href="https://github.com/deontic-logic/proof-tool" title="GitHub repository">deontic-logic/proof-tool</a> (still private; <a href="https://deontic-logic.github.io/readme.html">readme</a>). Can be used to generate improved versions of <a href="https://us.metamath.org/mmsolitaire/pmproofs.txt" title="us.metamath.org/mmsolitaire/pmproofs.txt">pmproofs.txt</a> of the <a href="https://us.metamath.org/mmsolitaire/mms.html" title="us.metamath.org/mmsolitaire/mms.html">mmsolitaire</a> project.<br>Exemplary generated results are available at <a href="https://github.com/xamidi/mmsolitaire" title="GitHub repository">xamidi/mmsolitaire</a>.<br>Eligible for high-performance computing. If you have access to a powerful computer, please consider to use this tool to further contribute to our knowledge regarding minimal proofs.<br>The following table exemplary shows progress that has already been made.</p>
225242
<table>
@@ -396,4 +413,4 @@ <h4 id="navigation">Navigation</h4>
396413
<li><a href="https://github.com/xamidi/pmGenerator/tree/master">C++20 branch</a></li>
397414
</ul>
398415
<p><sup>✻</sup><sub>Generation and utilization were performed with computing resources granted by RWTH Aachen University under project <a href="pdf/rwth1392_abstract.pdf" title="View rwth1392_abstract.pdf">rwth1392</a>.</sub></p>
399-
</div></div></body></html>
416+
</article></div></div></body></html>

‎index.html‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
<!DOCTYPE html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="UTF-8">
5+
<title>README</title>
6+
<meta http-equiv="refresh" content="0; URL=README.html">
7+
</head>
8+
</html>

0 commit comments

Comments
 (0)