diff --git a/_includes/cheatsheet-binary.md b/_includes/cheatsheet-binary.md index 50631ab..35b49c8 100644 --- a/_includes/cheatsheet-binary.md +++ b/_includes/cheatsheet-binary.md @@ -31,7 +31,7 @@ class="postcard-grammar binarysyntax">*V*. | | (*n* & 127) | 128 **varint**(*n* >> 7) | if *n* ≥ 128 {:.postcard-grammar.binarysyntax} -**intbytes**(*n*) | = | *the empty byte sequence* | if *n* = 0 +**intbytes**(*n*) | = | (the empty sequence) | if *n* = 0 | | **signedBigEndian**(*n*) | otherwise **signedBigEndian**(*n*) | = | *n* & 255 | if -128 ≤ *n* ≤ 127 | | **signedBigEndian**(*n* >> 8) *n* & 255 | otherwise diff --git a/_includes/cheatsheet-text.md b/_includes/cheatsheet-text.md index b9b417c..b3136cf 100644 --- a/_includes/cheatsheet-text.md +++ b/_includes/cheatsheet-text.md @@ -30,10 +30,10 @@ {:.postcard-grammar} | *escaped* | := | `\\`|`\/`|`\b`|`\f`|`\n`|`\r`|`\t`|`\u`*hex* *hex* *hex* *hex* | | *binchar* | := | *binunescaped* | (*escaped* |`\"`|`\x`*hex* *hex*) | -| *binunescaped* | := | « any unicode scalar value between 32 and 126, except `\` or `"` » | +| *binunescaped* | := | « any unicode scalar value ≥32 and ≤126, except `\` or `"` » | | *base64char* | := | `A`..`Z`|`a`..`z`|`0`..`9`|`+`|`/`|`-`|`_`|`=` | | *sympunct* | := | `~`|`!`|`$`|`%`|`^`|`&`|`*`|`?`|`_`|`=`|`+`|`-`|`/`|`.` | -| *symuchar* | := | « any scalar value greater than 127 whose Unicode category is Lu, Ll, Lt, Lm, Lo, Mn, Mc, Me, Nd, Nl, No, Pc, Pd, Po, Sc, Sm, Sk, So, or Co » | +| *symuchar* | := | « any scalar value ≥128 whose Unicode category is Lu, Ll, Lt, Lm, Lo, Mn, Mc, Me, Nd, Nl, No, Pc, Pd, Po, Sc, Sm, Sk, So, or Co » | {:.postcard-grammar} | *flt* | := | *int* ( *frac* *exp* | *frac* | *exp* ) | diff --git a/preserves.css b/preserves.css index a8a57e3..6dce95d 100644 --- a/preserves.css +++ b/preserves.css @@ -184,6 +184,7 @@ td { font-family: var(--sans-font); font-size: 1rem; color: #888; + line-height: 1.414rem; } table.postcard-grammar { background: #e9f0f9; } .postcard-grammar.binarysyntax { color: black; } @@ -195,6 +196,7 @@ table.postcard-grammar { background: #e9f0f9; } font-size: 0.9rem; } .postcard-grammar em { color: black; } +.postcard-grammar .roman { font-family: var(--serif-font); font-size: 1.05rem; } .postcard-grammar strong { color: #400; font-weight: normal; } .postcard-grammar td { vertical-align: top;