From 081852f3d7221df8f93505cc1b9543a63d5a1194 Mon Sep 17 00:00:00 2001 From: Anthony Howe Date: Thu, 20 Nov 2025 15:06:41 -0500 Subject: [PATCH 1/4] Fix code blocks with unnecessary disabled scrollbars. --- ioccc.css | 170 +++++++++++++++++++++++++++--------------------------- 1 file changed, 85 insertions(+), 85 deletions(-) diff --git a/ioccc.css b/ioccc.css index 55c82a59e..847f23acc 100644 --- a/ioccc.css +++ b/ioccc.css @@ -422,8 +422,8 @@ body { pre, code { margin: 1em 0; hyphens: manual; - overflow-x: scroll; - overflow-y: scroll; + overflow-x: auto !important; + overflow-y: auto !important; color: DarkGreen; } @@ -480,7 +480,7 @@ img { cursor: not-allowed; opacity: 0.5; color: inherit; - display: inline-block; /* For IE11/MS Edge bug */ + display: inline-block; /* For IE11/MS Edge bug */ pointer-events: none; text-decoration: none; } @@ -518,37 +518,37 @@ img { @media (min-width: 1025px) and (max-width: 1100px) { .container { - max-width: 840px; + max-width: 840px; } } @media (min-width: 1101px) and (max-width: 1150px) { .container { - max-width: 900px; + max-width: 900px; } } @media (min-width: 1151px) and (max-width: 1200px) { .container { - max-width: 970px; + max-width: 970px; } } @media (min-width: 1201px) and (max-width: 1250px) { .container { - max-width: 1000px; + max-width: 1000px; } } @media (min-width: 1251px) and (max-width: 1300px) { .container { - max-width: 1060px; + max-width: 1060px; } } @media (min-width: 1301px) and (max-width: 1350px) { .container { - max-width: 1100px; + max-width: 1100px; } } @@ -649,7 +649,7 @@ transition: all .3s ease; @media (scripting: enabled) { .topbar-js-label { - display: none; + display: none; } } @@ -733,7 +733,7 @@ transition: all .3s ease; padding-top: 0; padding-bottom: 0; color: DarkGreen; - overflow-x: scroll; + overflow-x: auto; } /* content text */ @@ -763,15 +763,15 @@ blockquote { * We tried to change the colour and we went with dark green with the * following rationale: * - * 0. Purple should NOT be used as this is being used for visited links. - * 1. Blue should NOT be used as this is being used for non-visited links. + * 0. Purple should NOT be used as this is being used for visited links. + * 1. Blue should NOT be used as this is being used for non-visited links. * * Now with context this might be okay but links can also be in blockquotes * so this alone is reason not to: even if there are underlines in most * links. Additionally: * - * 2. Bold seems to be too strong, especially when used for with a bright - * colour. + * 2. Bold seems to be too strong, especially when used for with a bright + * colour. * * Bold is used in headings (h1, h2, ..). A bold heading is not too much * text (as headings tend to be short single lines): one does not become @@ -910,7 +910,7 @@ blockquote { /* Mobile menu section */ @media screen and (max-width: 1024px) { .topbar-items { - display: none; + display: none; } } @@ -920,7 +920,7 @@ blockquote { @media screen and (max-width: 1024px) { .header-mobile-menu { - display: block; + display: block; } } @@ -930,15 +930,15 @@ blockquote { @media screen and (max-width: 1024px) { .mobile-header-button-label { - display: block; - position: absolute; - right: 64px; - color: #154c9f; - font-size: 16px; - font-weight: bold; - font-family: "Outfit", sans-serif; - font-optical-sizing: auto; - text-transform: capitalize; + display: block; + position: absolute; + right: 64px; + color: #154c9f; + font-size: 16px; + font-weight: bold; + font-family: "Outfit", sans-serif; + font-optical-sizing: auto; + text-transform: capitalize; } } @@ -954,7 +954,7 @@ blockquote { @media (scripting: enabled) { .topbar-mobile-menu { - display: block; + display: block; } } @@ -1023,39 +1023,39 @@ blockquote { */ @media screen and (max-width: 968px) { body { - font-size: 1em; + font-size: 1em; } .header { - padding: 0; - border: 0; - text-align: center; + padding: 0; + border: 0; + text-align: center; } .header h1 { - font-size: 2em; + font-size: 2em; } .header h2 { - font-size: 1.75em; + font-size: 1.75em; } .header h3 { - font-size: 1.5em; + font-size: 1.5em; } .content, .footer { - padding: 2px; + padding: 2px; } .content h1 { - font-size: 1.75em; + font-size: 1.75em; } .content h2 { - font-size: 1.5em; + font-size: 1.5em; } .content h3 { - font-size: 1.25em; + font-size: 1.25em; } .pseudo_h3 { - font-size: 1.25em; + font-size: 1.25em; } .small_click_below { - font-size: 0.75em; + font-size: 0.75em; } } @@ -1067,40 +1067,40 @@ blockquote { */ @media screen and (max-width: 761px) { body { - font-size: 1em; + font-size: 1em; } .header { - padding: 0; - border: 0; - text-align: center; + padding: 0; + border: 0; + text-align: center; } .header h1 { - font-size: 1.5em; + font-size: 1.5em; } .header h2 { - font-size: 1.25em; + font-size: 1.25em; } .header h3 { - font-size: 1em; + font-size: 1em; } .content, .footer { - width: 100%; - padding: 2px; + width: 100%; + padding: 2px; } .content h1 { - font-size: 1.25em; + font-size: 1.25em; } .content h2 { - font-size: 1.1em; + font-size: 1.1em; } .content h3 { - font-size: 1em; + font-size: 1em; } .pseudo_h3 { - font-size: 1em; + font-size: 1em; } .small_click_below { - font-size: 0.6em; + font-size: 0.6em; } } @@ -1112,50 +1112,50 @@ blockquote { */ @media screen and (max-width: 500px) { body { - font-size: 0.9em; + font-size: 0.9em; } .header { - padding: 0; - border: 0; - text-align: center; + padding: 0; + border: 0; + text-align: center; } .header h1 { - font-size: 1.25em; + font-size: 1.25em; } .header h2 { - font-size: 1em; + font-size: 1em; } .header h3 { - font-size: 0.9em; + font-size: 0.9em; } .header img { - visibility: none; - width: 0; - border: 0; - padding: 0; - height: auto; - max-width: 95%; - position: relative; + visibility: none; + width: 0; + border: 0; + padding: 0; + height: auto; + max-width: 95%; + position: relative; } .navbar a { - float: none; - width: 100%; - padding: 0; + float: none; + width: 100%; + padding: 0; } .content h1 { - font-size: 1.25em; + font-size: 1.25em; } .content h2 { - font-size: 1em; + font-size: 1em; } .content h3 { - font-size: 0.9em; + font-size: 0.9em; } .pseudo_h3 { - font-size: 0.9em; + font-size: 0.9em; } .small_click_below { - font-size: 0.5em; + font-size: 0.5em; } } @@ -1167,25 +1167,25 @@ blockquote { */ @media print { html { - background-color: white; + background-color: white; } body { - background-color: transparent; - color: black; - font-size: 12pt; + background-color: transparent; + color: black; + font-size: 12pt; } p, h2, h3 { - orphans: 3; - widows: 3; + orphans: 3; + widows: 3; } h2, h3, h4 { - page-break-after: avoid; + page-break-after: avoid; } /* IOCCC addition - print all as if they were not visited */ a:focus, a:hover, a:visited, a:active { - color: blue; + color: blue; } .navbar a, .navbar a:focus, .navbar a:hover, .navbar a:visited, .navbar a:active { - color: lightblue; + color: lightblue; } } From 9a5a5bc8901615871f69c8c157d119b982d60048 Mon Sep 17 00:00:00 2001 From: Anthony Howe Date: Fri, 21 Nov 2025 19:17:53 -0500 Subject: [PATCH 2/4] Rename Rule 5 and related links. --- faq.md | 4 ++-- next/rules.md | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/faq.md b/faq.md index 14a59f60c..f79f953a3 100644 --- a/faq.md +++ b/faq.md @@ -640,7 +640,7 @@ itself. Do remember that if your submission requires different filenames, then you **MUST** make a **COPY** of them in your `Makefile`. See also -[Rule 5 - Purity](next/rules.html#rule-5---purity). +[Rule 5 - Integrity](next/rules.html#rule-5---integrity). Jump to: [top](#) @@ -1098,7 +1098,7 @@ modes, it also verifies them after the fact and if they are not correct it is an If you do need different permissions, then see the FAQ on "[file permissions](#file_perms)". Also keep in mind [Rule 4 - Files](next/rules.html#rule-4---files), -[Rule 5 - Purity](next/rules.html#rule-5---purity), +[Rule 5 - Integrity](next/rules.html#rule-5---integrity), and [Rule 16 - Anonymous](next/rules.html#rule-16---anonymous). diff --git a/next/rules.md b/next/rules.md index c927e4ee3..d6427c99e 100644 --- a/next/rules.md +++ b/next/rules.md @@ -37,7 +37,7 @@ and remains unaltered. All other uses **MUST** receive prior permission in writing by [contacting the judges](../contact.html). -## Rules version +## Rules Version These IOCCC Rules are version **29.05 2025-11-21**. @@ -179,7 +179,7 @@ See [Rule 17 - Packaging](rules.html#rule-17---packaging).
-## Rule 5 - Purity +## Rule 5 - Integrity
Your submission **MUST NOT** modify the filenames or content of any of @@ -294,7 +294,7 @@ bits are **NOT** allowed in submissions and those bits will **NOT** be copied by See [Rule 4 - Files](rules.html#rule-4---files), and -[Rule 5 - Purity](rules.html#rule-5---purity). +[Rule 5 - Integrity](rules.html#rule-5---integrity).
From ca8569a6d33b49b91f1e1855a0277724b1baf86b Mon Sep 17 00:00:00 2001 From: Landon Curt Noll Date: Sun, 23 Nov 2025 18:22:53 -0800 Subject: [PATCH 3/4] update pages and sitemap based on recent commits --- faq.html | 4 ++-- next/rules.html | 6 +++--- sitemap.xml | 10 +++++----- 3 files changed, 10 insertions(+), 10 deletions(-) diff --git a/faq.html b/faq.html index 50aa08d68..f0fbdc5d2 100644 --- a/faq.html +++ b/faq.html @@ -982,7 +982,7 @@ and itself.

Do remember that if your submission requires different filenames, then you MUST make a COPY of them in your Makefile. See also -Rule 5 - Purity.

+Rule 5 - Integrity.

Jump to: top

@@ -1325,7 +1325,7 @@ modes, it also verifies them after the fact and if they are not correct it is an

If you do need different permissions, then see the FAQ on “file permissions”. Also keep in mind Rule 4 - Files, -Rule 5 - Purity, +Rule 5 - Integrity, and Rule 16 - Anonymous.

The txzchk(1) tool will also verify file/directory permissions (and many other diff --git a/next/rules.html b/next/rules.html index 80e31a077..f53a4100e 100644 --- a/next/rules.html +++ b/next/rules.html @@ -479,7 +479,7 @@ app from time to time to view IOCCC mastodon updates.

granted provided this this copyright and notice are included in its entirety and remains unaltered. All other uses MUST receive prior permission in writing by contacting the judges.

-

Rules version

+

Rules Version

These IOCCC Rules are version 29.05 2025-11-21.

Be sure to read the IOCCC guidelines.

@@ -575,7 +575,7 @@ a case insensitive filesystem.

See IOCCC markdown guidelines.

See Rule 17 - Packaging.

-

Rule 5 - Purity

+

Rule 5 - Integrity

Your submission MUST NOT modify the filenames or content of any of your original submission, such as prog.c, Makefile, or any supplied @@ -658,7 +658,7 @@ bits are NOT allowed in submissions and those bits will mkiocccentry(1).

See Rule 4 - Files, and -Rule 5 - Purity.

+Rule 5 - Integrity.

Rule 11 - Abuse

diff --git a/sitemap.xml b/sitemap.xml index 059ee5496..b7f6295d2 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -16758,11 +16758,11 @@ https://www.ioccc.org/faq.html - 2025-11-21T00:14:43+00:00 + 2025-11-24T02:03:48+00:00 https://www.ioccc.org/faq.md - 2025-11-21T00:14:46+00:00 + 2025-11-24T02:00:01+00:00 https://www.ioccc.org/inc/index.html @@ -16870,11 +16870,11 @@ https://www.ioccc.org/next/rules.html - 2025-11-21T12:43:18+00:00 + 2025-11-24T02:03:52+00:00 https://www.ioccc.org/next/rules.md - 2025-11-21T12:42:42+00:00 + 2025-11-24T02:00:01+00:00 https://www.ioccc.org/next/submit.html @@ -16938,7 +16938,7 @@ https://www.ioccc.org/status.html - 2025-11-21T00:15:04+00:00 + 2025-11-24T02:04:08+00:00 https://www.ioccc.org/status.json From 6f075bfe9842327a0b1584e3acc217dc4374e317 Mon Sep 17 00:00:00 2001 From: Landon Curt Noll Date: Mon, 24 Nov 2025 05:26:37 -0800 Subject: [PATCH 4/4] undo whitespace change in ioccc.css --- ioccc.css | 164 +++++++++++++++++++++++++++--------------------------- 1 file changed, 82 insertions(+), 82 deletions(-) diff --git a/ioccc.css b/ioccc.css index 847f23acc..d860a0770 100644 --- a/ioccc.css +++ b/ioccc.css @@ -480,7 +480,7 @@ img { cursor: not-allowed; opacity: 0.5; color: inherit; - display: inline-block; /* For IE11/MS Edge bug */ + display: inline-block; /* For IE11/MS Edge bug */ pointer-events: none; text-decoration: none; } @@ -518,37 +518,37 @@ img { @media (min-width: 1025px) and (max-width: 1100px) { .container { - max-width: 840px; + max-width: 840px; } } @media (min-width: 1101px) and (max-width: 1150px) { .container { - max-width: 900px; + max-width: 900px; } } @media (min-width: 1151px) and (max-width: 1200px) { .container { - max-width: 970px; + max-width: 970px; } } @media (min-width: 1201px) and (max-width: 1250px) { .container { - max-width: 1000px; + max-width: 1000px; } } @media (min-width: 1251px) and (max-width: 1300px) { .container { - max-width: 1060px; + max-width: 1060px; } } @media (min-width: 1301px) and (max-width: 1350px) { .container { - max-width: 1100px; + max-width: 1100px; } } @@ -649,7 +649,7 @@ transition: all .3s ease; @media (scripting: enabled) { .topbar-js-label { - display: none; + display: none; } } @@ -763,15 +763,15 @@ blockquote { * We tried to change the colour and we went with dark green with the * following rationale: * - * 0. Purple should NOT be used as this is being used for visited links. - * 1. Blue should NOT be used as this is being used for non-visited links. + * 0. Purple should NOT be used as this is being used for visited links. + * 1. Blue should NOT be used as this is being used for non-visited links. * * Now with context this might be okay but links can also be in blockquotes * so this alone is reason not to: even if there are underlines in most * links. Additionally: * - * 2. Bold seems to be too strong, especially when used for with a bright - * colour. + * 2. Bold seems to be too strong, especially when used for with a bright + * colour. * * Bold is used in headings (h1, h2, ..). A bold heading is not too much * text (as headings tend to be short single lines): one does not become @@ -910,7 +910,7 @@ blockquote { /* Mobile menu section */ @media screen and (max-width: 1024px) { .topbar-items { - display: none; + display: none; } } @@ -920,7 +920,7 @@ blockquote { @media screen and (max-width: 1024px) { .header-mobile-menu { - display: block; + display: block; } } @@ -930,15 +930,15 @@ blockquote { @media screen and (max-width: 1024px) { .mobile-header-button-label { - display: block; - position: absolute; - right: 64px; - color: #154c9f; - font-size: 16px; - font-weight: bold; - font-family: "Outfit", sans-serif; - font-optical-sizing: auto; - text-transform: capitalize; + display: block; + position: absolute; + right: 64px; + color: #154c9f; + font-size: 16px; + font-weight: bold; + font-family: "Outfit", sans-serif; + font-optical-sizing: auto; + text-transform: capitalize; } } @@ -954,7 +954,7 @@ blockquote { @media (scripting: enabled) { .topbar-mobile-menu { - display: block; + display: block; } } @@ -1023,39 +1023,39 @@ blockquote { */ @media screen and (max-width: 968px) { body { - font-size: 1em; + font-size: 1em; } .header { - padding: 0; - border: 0; - text-align: center; + padding: 0; + border: 0; + text-align: center; } .header h1 { - font-size: 2em; + font-size: 2em; } .header h2 { - font-size: 1.75em; + font-size: 1.75em; } .header h3 { - font-size: 1.5em; + font-size: 1.5em; } .content, .footer { - padding: 2px; + padding: 2px; } .content h1 { - font-size: 1.75em; + font-size: 1.75em; } .content h2 { - font-size: 1.5em; + font-size: 1.5em; } .content h3 { - font-size: 1.25em; + font-size: 1.25em; } .pseudo_h3 { - font-size: 1.25em; + font-size: 1.25em; } .small_click_below { - font-size: 0.75em; + font-size: 0.75em; } } @@ -1067,40 +1067,40 @@ blockquote { */ @media screen and (max-width: 761px) { body { - font-size: 1em; + font-size: 1em; } .header { - padding: 0; - border: 0; - text-align: center; + padding: 0; + border: 0; + text-align: center; } .header h1 { - font-size: 1.5em; + font-size: 1.5em; } .header h2 { - font-size: 1.25em; + font-size: 1.25em; } .header h3 { - font-size: 1em; + font-size: 1em; } .content, .footer { - width: 100%; - padding: 2px; + width: 100%; + padding: 2px; } .content h1 { - font-size: 1.25em; + font-size: 1.25em; } .content h2 { - font-size: 1.1em; + font-size: 1.1em; } .content h3 { - font-size: 1em; + font-size: 1em; } .pseudo_h3 { - font-size: 1em; + font-size: 1em; } .small_click_below { - font-size: 0.6em; + font-size: 0.6em; } } @@ -1112,50 +1112,50 @@ blockquote { */ @media screen and (max-width: 500px) { body { - font-size: 0.9em; + font-size: 0.9em; } .header { - padding: 0; - border: 0; - text-align: center; + padding: 0; + border: 0; + text-align: center; } .header h1 { - font-size: 1.25em; + font-size: 1.25em; } .header h2 { - font-size: 1em; + font-size: 1em; } .header h3 { - font-size: 0.9em; + font-size: 0.9em; } .header img { - visibility: none; - width: 0; - border: 0; - padding: 0; - height: auto; - max-width: 95%; - position: relative; + visibility: none; + width: 0; + border: 0; + padding: 0; + height: auto; + max-width: 95%; + position: relative; } .navbar a { - float: none; - width: 100%; - padding: 0; + float: none; + width: 100%; + padding: 0; } .content h1 { - font-size: 1.25em; + font-size: 1.25em; } .content h2 { - font-size: 1em; + font-size: 1em; } .content h3 { - font-size: 0.9em; + font-size: 0.9em; } .pseudo_h3 { - font-size: 0.9em; + font-size: 0.9em; } .small_click_below { - font-size: 0.5em; + font-size: 0.5em; } } @@ -1167,25 +1167,25 @@ blockquote { */ @media print { html { - background-color: white; + background-color: white; } body { - background-color: transparent; - color: black; - font-size: 12pt; + background-color: transparent; + color: black; + font-size: 12pt; } p, h2, h3 { - orphans: 3; - widows: 3; + orphans: 3; + widows: 3; } h2, h3, h4 { - page-break-after: avoid; + page-break-after: avoid; } /* IOCCC addition - print all as if they were not visited */ a:focus, a:hover, a:visited, a:active { - color: blue; + color: blue; } .navbar a, .navbar a:focus, .navbar a:hover, .navbar a:visited, .navbar a:active { - color: lightblue; + color: lightblue; } }