Fixed a few minor formatting issues.

## ASN Rendering

To colorize and indent the ASN.1 source in the specification, post-processing is required. The post-processing script can be found in scripts/asn1_render.lua.

In the Markdown source, ASN1 blocks are wrapped in \~\~\~ asn1 \<source\> \~\~\~, which are identified by the last function in the script.

In the Markdown source, ASN1 blocks are wrapped in `~~~ asn1` and `~~~`, which are identified by the last function in the script.

> function CodeBlock(block)

The function is called on every *CodeBlock*, identified by an opening and closing series of \~\~\~. Then the script checks if the name of the *CodeBlock* matches "asn1".

The function is called on every *CodeBlock*, identified by an opening and closing series of `~~~`. Then the script checks if the name of the *CodeBlock* matches "asn1".

The function makes four modifications to the ASN1 blocks.

1. Colorize the ASN.1 keywords identified in the variable "keywords" defined at the top of the script.

  criticalExtensionsFuture SEQUENCE {}

  }

  }

  ~~~

  ```

**HTML Output**