<html>
  <head>
    <title>elide_attributes example</title>
  </head>
  <body>
    Here is a disabled button:
      <button name="ok" disabled="disabled">button</button><br/>
  </body>
</html>