HTML5 <details> and <summary>: rendering