87             Content memberDetailsTree) {

    87             Content memberDetailsTree) {

    88         memberDetailsTree.add(MarkerComments.START_OF_PROPERTY_DETAILS);

    88         memberDetailsTree.add(MarkerComments.START_OF_PROPERTY_DETAILS);

    89         Content propertyDetailsTree = new ContentBuilder();

    89         Content propertyDetailsTree = new ContentBuilder();

    90         Content heading = HtmlTree.HEADING(Headings.TypeDeclaration.DETAILS_HEADING,

    90         Content heading = HtmlTree.HEADING(Headings.TypeDeclaration.DETAILS_HEADING,

    91                 contents.propertyDetailsLabel);

    91                 contents.propertyDetailsLabel);

    92         propertyDetailsTree.add(heading);

    93         propertyDetailsTree.add(heading);

    94         return propertyDetailsTree;

    94         return propertyDetailsTree;

    95     }

    95     }

    96 

    96 

    97     /**

    97     /**

    98      * {@inheritDoc}

    98      * {@inheritDoc}

   100     @Override

   100     @Override

   101     public Content getPropertyDocTreeHeader(ExecutableElement property,

   101     public Content getPropertyDocTreeHeader(ExecutableElement property,

   102             Content propertyDetailsTree) {

   102             Content propertyDetailsTree) {

   103         Content propertyDocTree = new ContentBuilder();

   103         Content propertyDocTree = new ContentBuilder();

   104         Content heading = new HtmlTree(Headings.TypeDeclaration.MEMBER_HEADING);

   104         Content heading = new HtmlTree(Headings.TypeDeclaration.MEMBER_HEADING);

   106         propertyDocTree.add(heading);

   107         propertyDocTree.add(heading);

   108         return HtmlTree.SECTION(HtmlStyle.detail, propertyDocTree);

   108         return HtmlTree.SECTION(HtmlStyle.detail, propertyDocTree);

   109     }

   109     }

   110 

   110 

   111     /**

   111     /**

   112      * {@inheritDoc}

   112      * {@inheritDoc}