1 <!DOCTYPE html> |
1 <!DOCTYPE html> |
2 <html$if(lang)$ lang="$lang$"$endif$$if(dir)$ dir="$dir$"$endif$> |
2 <html$if(lang)$ lang="$lang$"$endif$$if(dir)$ dir="$dir$"$endif$> |
3 <head> |
3 <head> |
4 <meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes"> |
4 <meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes"> |
5 <style type="text/css">code{white-space: pre;} body{line-height:1.2em} $if(quotes)$q { quotes: "“" "”" "‘" "’"; } $endif$ $if(highlighting-css)$ $highlighting-css$ $endif$</style> |
5 <style type="text/css"> |
|
6 code{white-space: pre;} body{font-family:sans-serif} p{line-height:1.2em} |
|
7 $if(quotes)$q { quotes: "“" "”" "‘" "’"; } $endif$ |
|
8 $if(highlighting-css)$ $highlighting-css$ $endif$ |
|
9 </style> |
6 </head> |
10 </head> |
7 <body> |
11 <body> |
8 $body$ |
12 $body$ |
9 </body> |
13 </body> |
10 </html> |
14 </html> |