body{margin:0}code{font-family:ui-monospace,monospace;font-size:.9em}