diff options
Diffstat (limited to 'frames.html')
| -rw-r--r-- | frames.html | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/frames.html b/frames.html new file mode 100644 index 0000000..1b4e38d --- /dev/null +++ b/frames.html | |||
| @@ -0,0 +1,30 @@ | |||
| 1 | <!DOCTYPE html | ||
| 2 | PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN" | ||
| 3 | "http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd"> | ||
| 4 | <html xmlns="http://www.w3.org/1999/xhtml"> | ||
| 5 | <head> | ||
| 6 | <title></title> | ||
| 7 | <script src="haddock-util.js" type="text/javascript"></script> | ||
| 8 | <script type="text/javascript"><!-- | ||
| 9 | /* | ||
| 10 | |||
| 11 | The synopsis frame needs to be updated using javascript, so we hide | ||
| 12 | it by default and only show it if javascript is enabled. | ||
| 13 | |||
| 14 | TODO: provide some means to disable it. | ||
| 15 | */ | ||
| 16 | function load() { | ||
| 17 | var d = document.getElementById("inner-fs"); | ||
| 18 | d.rows = "50%,50%"; | ||
| 19 | postReframe(); | ||
| 20 | } | ||
| 21 | --></script> | ||
| 22 | </head> | ||
| 23 | <frameset id="outer-fs" cols="25%,75%" onload="load()"> | ||
| 24 | <frameset id="inner-fs" rows="100%,0%"> | ||
| 25 | <frame src="index-frames.html" name="modules" /> | ||
| 26 | <frame src="" name="synopsis" /> | ||
| 27 | </frameset> | ||
| 28 | <frame src="index.html" name="main" /> | ||
| 29 | </frameset> | ||
| 30 | </html> | ||