@require(page, source_file, symbols_details, attrs) @extends('base_page.html') @def content(): @(extra_html = attrs.get('extra_html', []))
@if page.formatted_contents: @page.formatted_contents @end @for extra in extra_html: @extra @end
@for symbols_detail in symbols_details: @if symbols_detail.name: @(html_id = '_'.join(symbols_detail.name.split()))

@symbols_detail.name

@end \ @for i, description in enumerate(symbols_detail.descriptions): @description @end @end @end \ @def footer(): \ @(extra_footer_html = attrs.get('extra_footer_html', [])) @for extra in extra_footer_html: @extra @end \ @end @def edit_button(): \ @attrs.get('edit_button') \ @end