Tue, 02 May 2017 10:36:08 -0400
collapse_all added a bit back
<!DOCTYPE html> <html$if(lang)$ lang="$lang$"$endif$$if(dir)$ dir="$dir$"$endif$> <head> <meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes"> <style type="text/css"> code{white-space: pre;} body{font-family:sans-serif} p{line-height:1.2em} $if(quotes)$q { quotes: "“" "”" "‘" "’"; } $endif$ $if(highlighting-css)$ $highlighting-css$ $endif$ </style> </head> <body> $body$ </body> </html>