Function rustdoc::html::highlight::write_footer

fn write_footer(out: &mut Buffer, playground_button: Option<&str>)