///|
/// Python's `html.CSSFILE_TEMPLATE` with `styledefs` substituted.
fn cssfile_template(styledefs : String) -> String {
  (
    $|/*
    $|generated by Pygments 
    $|Copyright 2006-present by the Pygments team.
    $|Licensed under the BSD license, see LICENSE for details.
    $|*/
    $|\{styledefs}
    $|
  )
}

///|
/// Python's `html.DOC_HEADER`.
fn html_doc_header(
  title : String,
  styledefs : String,
  encoding : String,
) -> String {
  (
    $|
    $|
    $|
    $|
    $|  
    $|  
    $|  
    $|
    $|
    $|
\{title}
    $|
    $|
  )
}

///|
/// Python's `html.DOC_HEADER_EXTERNALCSS`.
fn html_doc_header_externalcss(
  title : String,
  cssfile : String,
  encoding : String,
) -> String {
  (
    $|
    $|
    $|
    $|
    $|  
    $|  
    $|  
    $|
    $|
    $|
\{title}
    $|
    $|
  )
}

///|
/// Python's `html.DOC_FOOTER`.
let html_doc_footer : String = "\n\n"