This page lets you customize your personal settings for this site. These settings are stored on the server and are identified by a session key stored in a browser cookie. That cookie allows your settings to be restored on subsequent visits.

The Pygments syntax highlighter can be used with different coloring styles.

<!DOCTYPE html>
<html lang="en">
    <title>Hello, world!</title>
      jQuery(document).ready(function($) {
    <h1>Hello, world!</h1>