1 <!DOCTYPE HTML PUBLIC
"-//W3C//DTD HTML 4.01//EN"
2 "http://www.w3.org/TR/html4/strict.dtd">
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">
11 <style type=
"text/css">body,html{background:#
000;color:#fff;font-family:monospace;}.cern-blue{color:#
397ef6;}a,a:visited{color:#fff;}p{margin:
0;padding:
0}#post p{margin:
12px
0;margin:revert;}#post{max-width:
1024px;}code{border:
1px solid #
00ff00;border-radius:
5px;color:#
00ffff;}
</style>