.stats { font-size: 12px; line-height: 14px; margin-top: 8px; }
    </style>
  </head>

  <body>
    <div class=example>
      <div class=example-title>Local state</div>
      <div id="local-state">
        <div id=local-state-1></div>
        <div id=local-state-2></div>
      </div>
    </div>

    <div class=example>
      <div class=example-title>Timers</div>
      <div id=timer1></div>
      <div id=timer2></div>
      <div id=timer3></div>
    </div>

    <div class=example>
      <div class=example-t