@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