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"> |
5 <style type="text/css"> |
6 code{white-space: pre;} body{font-family:sans-serif} p{line-height:1.2em} |
6 code{white-space: pre;} body{font-family:sans-serif} p{line-height:1.2em} |
|
7 blockquote{margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex} |
7 $if(quotes)$q { quotes: "“" "”" "‘" "’"; } $endif$ |
8 $if(quotes)$q { quotes: "“" "”" "‘" "’"; } $endif$ |
8 $if(highlighting-css)$ $highlighting-css$ $endif$ |
9 $if(highlighting-css)$ $highlighting-css$ $endif$ |
9 </style> |
10 </style> |
10 </head> |
11 </head> |
11 <body> |
12 <body> |