1 <!DOCTYPE html PUBLIC
"-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd"><html><head><meta name=
"viewport" content=
"width=device-width, initial-scale=1.0"><title>$TITLE
</title><style>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></head><body>