More tweaks and repairs

This commit is contained in:
Tony Garnock-Jones 2023-10-17 01:00:54 +02:00
parent 53e15bc46c
commit 0f08461ccc
3 changed files with 5 additions and 3 deletions

View File

@ -31,7 +31,7 @@ class="postcard-grammar binarysyntax">*V*</span>.
| | <span class="outputish">(*n* &amp; 127) &#124; 128</span> **varint**(*n* &gt;&gt; 7) | if *n* ≥ 128
{:.postcard-grammar.binarysyntax}
**intbytes**(*n*) | = | *the empty byte sequence* | if *n* = 0
**intbytes**(*n*) | = | <span class="roman">(the empty sequence)</span> | if *n* = 0
| | **signedBigEndian**(*n*) | otherwise
**signedBigEndian**(*n*) | = | <span class="outputish">*n* &amp; 255</span> | if -128 ≤ *n* ≤ 127
| | **signedBigEndian**(*n* &gt;&gt; 8) <span class="outputish">*n* &amp; 255</span> | otherwise

View File

@ -30,10 +30,10 @@
{:.postcard-grammar}
| *escaped* | := | `\\`&#124;`\/`&#124;`\b`&#124;`\f`&#124;`\n`&#124;`\r`&#124;`\t`&#124;`\u`*hex* *hex* *hex* *hex* |
| *binchar* | := | *binunescaped* &#124; (*escaped* &#124;`\"`&#124;`\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`&#124;`a`..`z`&#124;`0`..`9`&#124;`+`&#124;`/`&#124;`-`&#124;`_`&#124;`=` |
| *sympunct* | := | `~`&#124;`!`&#124;`$`&#124;`%`&#124;`^`&#124;`&`&#124;`*`&#124;`?`&#124;`_`&#124;`=`&#124;`+`&#124;`-`&#124;`/`&#124;`.` |
| *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* &#124; *frac* &#124; *exp* ) |

View File

@ -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;