message: Change cursor to pointer when hovering <details>
diff: @@ -845,3 +845,9 @@ body > .footer li a {
  .markdown-body del {
  color: #6a737d;
  }
  +
  +/* Make <details> visibly clickable */
  +.markdown-body summary, /* Summary elements are always clickable when present */
  +.markdown-body details:not([open]) { /* Summary-less details have unselectable clickable elements */
  + cursor: pointer;
  +}
  