| 1 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" |
| 2 | "http://www.w3.org/TR/html4/strict.dtd"> |
| 3 | <html> |
| 4 | <head> |
| 5 | <meta http-equiv="Content-Type" content="text/html;charset=utf-8"> |
| 6 | <meta name="viewport" content="width=device-width, initial-scale=1.0"> |
| 7 | <meta property="og:title" content="$TITLE"> |
| 8 | <meta property="og:description" content="$DESCRIPTION"> |
| 9 | $OG_IMAGE |
| 10 | <title>$TITLE</title> |
| 11 | <style type="text/css">body,html{background:#000;color:#fff;max-width:1024px;margin:1em auto;padding:0 0.5em;font-family:monospace;font-size:large;}.cern-blue{color:#397ef6;}a,a:visited{color:#fff;}p{margin:0;padding:0}#post p{margin:12px 0;margin:revert;text-align:justify;}#post a,#post a:visited{color:#00b7ff;}pre code {display:block;padding:0 1em 1em 1em;overflow-x:auto;}code{border:1px solid #ffb300;border-radius:5px;color:#19ca24;background:#202020;display:inline-block;}</style> |
| 12 | </head> |
| 13 | <body> |