src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/AnnotationTypeWriterImpl.java

@@ -246,6 +246,15 @@
      */
     @Override
     public TypeElement getAnnotationTypeElement() {
         return annotationType;
     }
+
+    /**
+     * {@inheritDoc}
+     */
+    @Override
+    public Content getMemberDetailsTree(Content contentTree) {
+        return HtmlTree.SECTION(HtmlStyle.details, contentTree)
+                .setId(SectionName.ANNOTATION_TYPE_ELEMENT_DETAIL.getName());
+    }
 }