Skip to main content
U.S. flag

An official website of the United States government

Dot gov

Official websites use .gov
A .gov website belongs to an official government organization in the United States.


Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Code formatting

Highlight code samples using the color palette.

Any pygments-compatible syntax highlighter will produce markup that is compatible with the code highlighting classes included.


Jekyll uses rouge, which is pygments-compatible. Use fenced code blocks within markdown, and code will be highlighted as expected:

<div contenteditable>A HTML code sample.</div>


<div contenteditable>A HTML code sample.</div>

An official website of the General Services Administration

Looking for U.S. government information and services?