equal
deleted
inserted
replaced
|
1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
|
3 |
|
4 decl pageContent alias body { |
|
5 a name=top; |
|
6 include heading.en.yhtml2; |
|
7 div id=entries |
|
8 content; |
|
9 }; |
|
10 |
|
11 decl page(*title, lang="en", xml:lang="en", xmlns="http://www.w3.org/1999/xhtml") alias html { |
|
12 head { |
|
13 title *title; |
|
14 meta http-equiv="Content-Type", content="text/html;charset=UTF-8"; |
|
15 link rel=stylesheet, type="text/css", href="format.css"; |
|
16 } |
|
17 |
|
18 pageContent |
|
19 content; |
|
20 }; |
|
21 |
|
22 define operator "¬\s*(.*?)\s+(.*?)\s*¬" as a href="%1" > %2 |
|
23 define operator "«(.*?)»" as code > %1 |
|
24 define operator "ƒ(\S+)" as em > %1 |