@require(page, toc, symbols_details, extra_html) @extends('base_page.html') @def content(): @if page.formatted_contents:
@page.formatted_contents @for extra in extra_html: @extra @end
@end @toc @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