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..5d7b163 100644 --- a/index.html +++ b/index.html @@ -3,6 +3,7 @@
Now available as free software (SML '90).
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# 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.