From 0af37bd43f9dda2bdbe6dd0ed9d534e01736d1fe Mon Sep 17 00:00:00 2001 From: Herman Yanush Date: Mon, 16 Oct 2023 19:47:35 +0300 Subject: [PATCH 1/2] use auto margins in global.css; add viewport to index.html --- global.css | 5 +++-- index.html | 1 + 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/global.css b/global.css index 1019f93..4c75ec5 100644 --- a/global.css +++ b/global.css @@ -1,6 +1,7 @@ - body { - margin: 0.5in 1in; + max-width: 1000px; + margin: 0.5in auto 1in auto; + padding: 0 1em; background-color: white; color: black; font-size: 16px; diff --git a/index.html b/index.html index 6bfadf6..83eb8dd 100644 --- a/index.html +++ b/index.html @@ -3,6 +3,7 @@ Standard ML Family GitHub Project + From 6beedd42c29fa0652d4986a5607644b3b149d4fd Mon Sep 17 00:00:00 2001 From: Herman Yanush Date: Mon, 16 Oct 2023 19:50:00 +0300 Subject: [PATCH 2/2] update links in index.html --- index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index 83eb8dd..5d7b163 100644 --- a/index.html +++ b/index.html @@ -228,7 +228,7 @@

Implementations, Extensions, and Variations of Standard ML

  • - + Poplog Standard ML.

    Now available as free software (SML '90).

    • @@ -249,7 +249,7 @@

    Implementations, Extensions, and Variations of Standard ML

    CakeML is a dialect of ML designed to be both easy to program in and easy to reason about formally in proof assistants for higher-order logic.

  • - SML# + SML#

    SML# is a new programming language in the Standard ML family being developed at RIEC (Research Institute of Electrical Communication), Tohoku University . Its design goal is to provide practically important extensions while maintaining the compatibility of the Definition of Standard ML.