diff --git a/conformance/results/results.html b/conformance/results/results.html index cc9b4f3e..ad064c4c 100644 --- a/conformance/results/results.html +++ b/conformance/results/results.html @@ -21,7 +21,7 @@ background-color: #333; color: #fff; text-align: center; - padding: 8px; + padding: 10px 16px 12px; } table { @@ -148,6 +148,15 @@ .hover-text { position: relative; } + + .disclaimer { + margin: 6px auto 0; + max-width: 720px; + font-size: 12px; + line-height: 1.4; + font-weight: normal; + color: #d6d6d6; + } @@ -155,6 +164,11 @@
+ While spec conformance is important for the ecosystem, we don't recommend using it + as the primary basis for choosing a type checker. It is not (and is not meant to be) + representative of the things users typically care about. +
| diff --git a/conformance/src/results_template.html b/conformance/src/results_template.html index cd548256..214f778e 100644 --- a/conformance/src/results_template.html +++ b/conformance/src/results_template.html @@ -21,7 +21,7 @@ background-color: #333; color: #fff; text-align: center; - padding: 8px; + padding: 10px 16px 12px; } table { @@ -148,6 +148,15 @@ .hover-text { position: relative; } + + .disclaimer { + margin: 6px auto 0; + max-width: 720px; + font-size: 12px; + line-height: 1.4; + font-weight: normal; + color: #d6d6d6; + } @@ -155,6 +164,11 @@ |
|---|