Function rustdoc::html::highlight::write_header

fn write_header(
    out: &mut Buffer,
    class: Option<&str>,
    extra_content: Option<Buffer>
)