inform-class

[DORMANT] the products of a summer text adventures course
git clone git://git.figbert.com/inform-class.git
Log | Files | Refs | README | LICENSE

Welcome.html (25089B)


      1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
      2 <html>
      3 <head><meta http-equiv="content-type" content="text/html; charset=UTF-8">
      4     <style type="text/css">
      5     <!--
      6         *, *:before, *:after {
      7             -moz-box-sizing: border-box;
      8             -webkit-box-sizing: border-box;
      9             box-sizing: border-box;
     10         }
     11         h3.tighter {
     12             margin-top: 0px;
     13         }
     14         p.hang {
     15             padding-left: 25px;
     16             text-indent: -25px;
     17             margin-top: 0px;
     18             margin-bottom: 0px;
     19         }
     20         p.in1 {
     21             padding-left: 0px;
     22         }
     23         p.tightin1 {
     24             padding-left: 0px;
     25             margin-top: 2px;
     26             margin-bottom: 2px;
     27         }
     28         p.halftightin1 {
     29             padding-left: 0px;
     30             margin-bottom: 2px;
     31         }
     32         p.hangingin1 {
     33             padding-left: 50px;
     34             text-indent: -50px;
     35             margin-top: 0px;
     36             margin-bottom: 1px;
     37         }
     38         p.in2 {
     39             padding-left: 25px;
     40         }
     41         p.tightin2 {
     42             padding-left: 25px;
     43             margin-top: 2px;
     44             margin-bottom: 2px;
     45         }
     46         p.halftightin2 {
     47             padding-left: 25px;
     48             margin-bottom: 2px;
     49         }
     50         p.hangingin2 {
     51             padding-left: 75px;
     52             text-indent: -50px;
     53             margin-top: 0px;
     54             margin-bottom: 1px;
     55         }
     56         p.in3 {
     57             padding-left: 50px;
     58         }
     59         p.tightin3 {
     60             padding-left: 50px;
     61             margin-top: 2px;
     62             margin-bottom: 2px;
     63         }
     64         p.halftightin3 {
     65             padding-left: 50px;
     66             margin-bottom: 2px;
     67         }
     68         p.hangingin3 {
     69             padding-left: 100px;
     70             text-indent: -50px;
     71             margin-top: 0px;
     72             margin-bottom: 1px;
     73         }
     74         p.in4 {
     75             padding-left: 75px;
     76         }
     77         p.tightin4 {
     78             padding-left: 75px;
     79             margin-top: 2px;
     80             margin-bottom: 2px;
     81         }
     82         p.halftightin4 {
     83             padding-left: 75px;
     84             margin-bottom: 2px;
     85         }
     86         p.hangingin4 {
     87             padding-left: 125px;
     88             text-indent: -50px;
     89             margin-top: 0px;
     90             margin-bottom: 1px;
     91         }
     92         p.in5 {
     93             padding-left: 100px;
     94         }
     95         p.tightin5 {
     96             padding-left: 100px;
     97             margin-top: 2px;
     98             margin-bottom: 2px;
     99         }
    100         p.halftightin5 {
    101             padding-left: 100px;
    102             margin-bottom: 2px;
    103         }
    104         p.hangingin5 {
    105             padding-left: 150px;
    106             text-indent: -50px;
    107             margin-top: 0px;
    108             margin-bottom: 1px;
    109         }
    110         p.in6 {
    111             padding-left: 125px;
    112         }
    113         p.tightin6 {
    114             padding-left: 125px;
    115             margin-top: 2px;
    116             margin-bottom: 2px;
    117         }
    118         p.halftightin6 {
    119             padding-left: 125px;
    120             margin-bottom: 2px;
    121         }
    122         p.hangingin6 {
    123             padding-left: 175px;
    124             text-indent: -50px;
    125             margin-top: 0px;
    126             margin-bottom: 1px;
    127         }
    128         p.in7 {
    129             padding-left: 150px;
    130         }
    131         p.tightin7 {
    132             padding-left: 150px;
    133             margin-top: 2px;
    134             margin-bottom: 2px;
    135         }
    136         p.halftightin7 {
    137             padding-left: 150px;
    138             margin-bottom: 2px;
    139         }
    140         p.hangingin7 {
    141             padding-left: 200px;
    142             text-indent: -50px;
    143             margin-top: 0px;
    144             margin-bottom: 1px;
    145         }
    146         p.in8 {
    147             padding-left: 175px;
    148         }
    149         p.tightin8 {
    150             padding-left: 175px;
    151             margin-top: 2px;
    152             margin-bottom: 2px;
    153         }
    154         p.halftightin8 {
    155             padding-left: 175px;
    156             margin-bottom: 2px;
    157         }
    158         p.hangingin8 {
    159             padding-left: 225px;
    160             text-indent: -50px;
    161             margin-top: 0px;
    162             margin-bottom: 1px;
    163         }
    164         p.in9 {
    165             padding-left: 200px;
    166         }
    167         p.tightin9 {
    168             padding-left: 200px;
    169             margin-top: 2px;
    170             margin-bottom: 2px;
    171         }
    172         p.halftightin9 {
    173             padding-left: 200px;
    174             margin-bottom: 2px;
    175         }
    176         p.hangingin9 {
    177             padding-left: 250px;
    178             text-indent: -50px;
    179             margin-top: 0px;
    180             margin-bottom: 1px;
    181         }
    182         div.hr {
    183             border: 0;
    184             width: 100%;
    185             color: #707070;
    186             background-color: #707070;
    187             height: 5px;
    188         }
    189         .headingbox {
    190          position: relative;
    191          height: 56px;
    192          padding: 0px;
    193          white-space:nowrap;
    194          background: #eeeeee;  /* grey */
    195         font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    196         -webkit-font-smoothing: antialiased;
    197          }
    198         .headingboxhigh {
    199          position: relative;
    200          height: 117px;
    201          padding: 0px;
    202          white-space:nowrap;
    203          background: #eeeeee;  /* grey */
    204         font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    205         -webkit-font-smoothing: antialiased;
    206          }
    207         .headingboxSucceeded {
    208          position: relative;
    209          height: 56px;
    210          padding: 0px;
    211          white-space:nowrap;
    212          background: #E6FFE6;  /* green */
    213         font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    214         -webkit-font-smoothing: antialiased;
    215          }
    216         .headingboxFailed {
    217          position: relative;
    218          height: 56px;
    219          padding: 0px;
    220          white-space:nowrap;
    221          background: #f69Ca6;  /* red */
    222         font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    223         -webkit-font-smoothing: antialiased;
    224          }
    225         .headingtext {
    226         	position: absolute;
    227         	top: -4px;
    228         	left: -1px;
    229         	width: 100%;
    230         	color: #222222;
    231         	padding: 14px 10px 0px 10px;
    232         	font-size: 20px;
    233         	font-weight: bold;
    234         }
    235         .headingrubric {
    236         	position: absolute;
    237         	top: 36px;
    238         	width: 100%;
    239         	color: #222222;
    240         	padding: 0px 10px 0px 10px;
    241         	font-size: 11px;
    242         	font-weight: bold;
    243         }
    244     -->
    245 </style>
    246 <script type="text/javascript">
    247     function project() {
    248         if ("Project" in window) return window.Project;
    249         return external.Project;
    250         }
    251         function showExtra(id, imid) {
    252             if (document.getElementById(id).style.display == 'block') {
    253                 document.getElementById(id).style.display = 'none';
    254                 document.getElementById(imid).src = 'inform:/doc_images/extra.png';
    255             } else {
    256                 document.getElementById(id).style.display = 'block';
    257                 document.getElementById(imid).src = 'inform:/doc_images/extraclose.png';
    258             }
    259         }
    260         function showBasic(id) {
    261             if (document.getElementById(id).style.display == '') {
    262                 document.getElementById(id).style.display = 'none';
    263             } else {
    264                 document.getElementById(id).style.display = '';
    265             }
    266         }
    267         function showResp(id, imid) {
    268             if (document.getElementById(id)) {
    269                 if (document.getElementById(id).style.display == 'block') {
    270                     document.getElementById(id).style.display = 'none';
    271                     document.getElementById(imid).src = 'inform:/doc_images/responses.png';
    272                 } else {
    273                     document.getElementById(id).style.display = 'block';
    274                     document.getElementById(imid).src = 'inform:/doc_images/responsesclose.png';
    275                 }
    276             }
    277         }
    278         function showAllResp() {
    279             for (var i=0;i<353;i++) {
    280                 showResp('extra'+(1000000+i), 'plus'+(1000000+i));
    281             }
    282         }
    283     </script>
    284     <style type="text/css" media="screen, print">
    285     p {
    286     font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    287     }
    288 
    289     .box a:link { text-decoration: none; }
    290     .box a:visited { text-decoration: none; }
    291     .box a:active { text-decoration: none; }
    292     .box a:hover { text-decoration: none; color: #444444; }
    293 
    294     .smallbox a:link { text-decoration: none; }
    295     .smallbox a:visited { text-decoration: none; }
    296     .smallbox a:active { text-decoration: none; }
    297     .smallbox a:hover { text-decoration: none; color: #444444; }
    298 
    299     .symbol {
    300     	position: absolute;
    301     	top: -4px;
    302     	left: -1px;
    303     	width: 100%;
    304     	color: #ffffff;
    305     	padding: 14px 0px 14px 1px;
    306     	font-size: 20px;
    307     	font-weight: bold;
    308     	text-align: center;
    309     }
    310     .indexno {
    311     	position: absolute;
    312     	top: 1px;
    313     	left: 3px;
    314     	color: #ffffff;
    315     	font-size: 7pt;
    316     	text-align: left;
    317     }
    318     .rubric {
    319     	position: absolute;
    320     	top: 35px;
    321     	width: 100%;
    322     	color: #ffffff;
    323     	font-size: 9px;
    324     	font-weight: bold;
    325     	text-align: center;
    326     }
    327 
    328     .box {
    329      position: relative;
    330      height: 56px;
    331      width: 56px;
    332      padding: 0px;
    333     font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    334     -webkit-font-smoothing: antialiased;
    335     }
    336     .sidebar {
    337      height: 56px;
    338      width: 16px;
    339      background: #888;
    340     font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    341     -webkit-font-smoothing: antialiased;
    342     }
    343     .sidebar:hover { background: #222; }
    344 
    345     .smallbox {
    346      position: relative;
    347      height: 40px;
    348      width: 40px;
    349      padding: 0px;
    350     font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    351     -webkit-font-smoothing: antialiased;
    352     }
    353 
    354     #box1_1 {
    355      background: #cf0a38;
    356      }
    357     #minibox1_1 {
    358      background: #cf0a38;
    359      }
    360     #box1_2 {
    361      background: #cf0a38;
    362      }
    363     #minibox1_2 {
    364      background: #cf0a38;
    365      }
    366     #box1_3 {
    367      background: #cf0a38;
    368      }
    369     #minibox1_3 {
    370      background: #cf0a38;
    371      }
    372     #box1_4 {
    373      background: #cf0a38;
    374      }
    375     #minibox1_4 {
    376      background: #cf0a38;
    377      }
    378     #box1_5 {
    379      background: #cf0a38;
    380      }
    381     #minibox1_5 {
    382      background: #cf0a38;
    383      }
    384     #box2_1 {
    385      background: #ea5b1f;
    386      }
    387     #minibox2_1 {
    388      background: #ea5b1f;
    389      }
    390     #box2_2 {
    391      background: #ea5b1f;
    392      }
    393     #minibox2_2 {
    394      background: #ea5b1f;
    395      }
    396     #box2_3 {
    397      background: #ea5b1f;
    398      }
    399     #minibox2_3 {
    400      background: #ea5b1f;
    401      }
    402     #box2_4 {
    403      background: #ea5b1f;
    404      }
    405     #minibox2_4 {
    406      background: #ea5b1f;
    407      }
    408     #box2_5 {
    409      background: #ea5b1f;
    410      }
    411     #minibox2_5 {
    412      background: #ea5b1f;
    413      }
    414     #box3_1 {
    415      background: #e9cf08;
    416      }
    417     #minibox3_1 {
    418      background: #e9cf08;
    419      }
    420     #box3_2 {
    421      background: #e9cf08;
    422      }
    423     #minibox3_2 {
    424      background: #e9cf08;
    425      }
    426     #box3_3 {
    427      background: #e9cf08;
    428      }
    429     #minibox3_3 {
    430      background: #e9cf08;
    431      }
    432     #box4_1 {
    433      background: #52992f;
    434      }
    435     #minibox4_1 {
    436      background: #52992f;
    437      }
    438     #box4_2 {
    439      background: #52992f;
    440      }
    441     #minibox4_2 {
    442      background: #52992f;
    443      }
    444     #box4_3 {
    445      background: #52992f;
    446      }
    447     #minibox4_3 {
    448      background: #52992f;
    449      }
    450     #box4_4 {
    451      background: #52992f;
    452      }
    453     #minibox4_4 {
    454      background: #52992f;
    455      }
    456     #box5_1 {
    457      background: #1d31b4;
    458      }
    459     #minibox5_1 {
    460      background: #1d31b4;
    461      }
    462     #box5_2 {
    463      background: #1d31b4;
    464      }
    465     #minibox5_2 {
    466      background: #1d31b4;
    467      }
    468     #box6_1 {
    469      background: #001860;
    470      }
    471     #minibox6_1 {
    472      background: #001860;
    473      }
    474     #box6_2 {
    475      background: #001860;
    476      }
    477     #minibox6_2 {
    478      background: #001860;
    479      }
    480     #box6_3 {
    481      background: #001860;
    482      }
    483     #minibox6_3 {
    484      background: #001860;
    485      }
    486     #box7_1 {
    487      background: #8b58bf;
    488      }
    489     #minibox7_1 {
    490      background: #8b58bf;
    491      }
    492     #box7_2 {
    493      background: #8b58bf;
    494      }
    495     #minibox7_2 {
    496      background: #8b58bf;
    497      }
    498     #box8_1 {
    499      background: #111111;
    500      }
    501     #minibox8_1 {
    502      background: #111111;
    503      }
    504 
    505     ul.leaders {
    506         padding: 0;
    507         margin-top: 1px;
    508         margin-bottom: 0;
    509         overflow-x: hidden;
    510         list-style: none}
    511     ul.leaders li.leaded:before {
    512         float: left;
    513         width: 0;
    514         white-space: nowrap;
    515         content:
    516     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    517     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    518     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    519     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    520     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    521     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    522     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    523     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    524     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    525     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "}
    526     ul.leaders li.leaded span:first-child {
    527         padding-right: 0.33em;
    528         background: white}
    529     ul.leaders li.leaded span + span {
    530         float: right;
    531         padding-left: 0.33em;
    532         background: white}
    533     li.indent1 span:first-child {
    534         padding-left: 25px;
    535     }
    536     li.indent2 span:first-child {
    537         padding-left: 50px;
    538     }
    539     li.indent3 span:first-child {
    540         padding-left: 75px;
    541     }
    542     li.indent4 span:first-child {
    543         padding-left: 100px;
    544     }
    545     li.indent5 span:first-child {
    546         padding-left: 125px;
    547     }
    548     li.indent6 span:first-child {
    549         padding-left: 150px;
    550     }
    551     li.indent7 span:first-child {
    552         padding-left: 175px;
    553     }
    554     li.indent8 span:first-child {
    555         padding-left: 200px;
    556     }
    557     li.indent9 span:first-child {
    558         padding-left: 225px;
    559     }
    560 
    561     li.unleaded:before {
    562     	content: "";
    563     }
    564     </style>
    565     <script type="text/javascript">
    566     var qq; window.onload = function() {
    567         if (location.search.length > 0) {
    568             qq = location.search.substring(1, location.search.length);
    569             show_only_one_element(qq);
    570         }
    571     }
    572     function click_element_box(id) {
    573         if (document.getElementById(id).style.display == 'none') {
    574             show_only_one_element(id);
    575         } else {
    576             var x = 0;
    577             if (document.getElementById('segment1').style.display == '') { x++; }
    578             if (x == 1) { show_all_elements(); }
    579             else { show_only_one_element(id); }
    580         }
    581     }
    582     function click_sidebar() {
    583         if (document.getElementById('surround0').style.display == 'none') {
    584             enter_periodic_table();
    585         } else {
    586             show_all_elements();
    587         }
    588     }
    589     function show_all_elements() {
    590         show_element('segment1');
    591         light_up('segment1');
    592     	}
    593     function show_only_one_element(id) {
    594         hide_element('segment1');
    595         light_down('segment1');
    596         show_element(id);
    597         light_up(id);
    598     }
    599     function enter_periodic_table() {
    600         hide_element('segment1');
    601         light_up('segment1');
    602     }
    603     function show_element(id) {
    604         document.getElementById(id).style.display = '';
    605     }
    606     function hide_element(id) {
    607         document.getElementById(id).style.display = 'none';
    608     }
    609     function light_up(id) {
    610         var ic = 'box8_1';
    611         document.getElementById(ic).style.background = '#111111';
    612     }
    613     function light_down(id) {
    614         var ic = 'box8_1';
    615         document.getElementById(ic).style.background = '#cccccc';
    616     }
    617     </script>
    618 </head>
    619 <body>
    620     <script language="JavaScript">function pasteCode(code) { var myProject = project(); myProject.selectView('source'); myProject.pasteCode(code); }</script>
    621     <font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>
    622     <!--CONTENT BEGINS-->
    623     <div id="periodictable">
    624     <table cellspacing="3" border="0" width="100%">
    625     <tr id="surround0"><td></td><td colspan="2"><img src='inform:/doc_images/index@2x.png' border=1 width=115 height=115></td><td colspan="4" style="width:100%;">
    626     <div class="headingboxhigh">
    627     	<div class="headingtext">Welcome to the Index</div>
    628     	<div class="headingrubric">A guide which grows with your project</div>
    629     </div></td>
    630     </tr><tr><td onclick="window.location='Contents.html'; return false;"><div class="sidebar"></div></td><td onclick="window.location='Contents.html?segment1'; return false;"><div id="box1_1" class="box">
    631     <a class="symbol" title="Contents" href="#">C</a>
    632     <div class="indexno">1</div>
    633     <div class="rubric">Contents</div>
    634     </div>
    635     </td><td onclick="window.location='Contents.html?segment2'; return false;"><div id="box1_2" class="box">
    636     <a class="symbol" title="Card" href="#">Cd</a>
    637     <div class="indexno">2</div>
    638     <div class="rubric">Card</div>
    639     </div>
    640     </td><td onclick="window.location='Contents.html?segment3'; return false;"><div id="box1_3" class="box">
    641     <a class="symbol" title="Tables" href="#">Tb</a>
    642     <div class="indexno">3</div>
    643     <div class="rubric">Tables</div>
    644     </div>
    645     </td><td onclick="window.location='Contents.html?segment4'; return false;"><div id="box1_4" class="box">
    646     <a class="symbol" title="Figures" href="#">Fi</a>
    647     <div class="indexno">4</div>
    648     <div class="rubric">Figures</div>
    649     </div>
    650     </td><td onclick="window.location='Contents.html?segment5'; return false;"><div id="box1_5" class="box">
    651     <a class="symbol" title="Innards" href="#">In</a>
    652     <div class="indexno">5</div>
    653     <div class="rubric">Innards</div>
    654     </div>
    655     </td><td onclick="window.location='Contents.html'; return false;" style="width:100%">
    656     <div class="headingbox">
    657     	<div class="headingtext">Contents Index</div>
    658     	<div class="headingrubric">Like the preliminary pages of a book</div>
    659     </div></td>
    660     </tr><tr><td onclick="window.location='Actions.html'; return false;"><div class="sidebar"></div></td><td onclick="window.location='Actions.html?segment1'; return false;"><div id="box2_1" class="box">
    661     <a class="symbol" title="Grouped" href="#">A1</a>
    662     <div class="indexno">1</div>
    663     <div class="rubric">Grouped</div>
    664     </div>
    665     </td><td onclick="window.location='Actions.html?segment2'; return false;"><div id="box2_2" class="box">
    666     <a class="symbol" title="Alphabetic" href="#">A2</a>
    667     <div class="indexno">2</div>
    668     <div class="rubric">Alphabetic</div>
    669     </div>
    670     </td><td onclick="window.location='Actions.html?segment3'; return false;"><div id="box2_3" class="box">
    671     <a class="symbol" title="Behaviour" href="#">Bh</a>
    672     <div class="indexno">3</div>
    673     <div class="rubric">Behaviour</div>
    674     </div>
    675     </td><td onclick="window.location='Actions.html?segment4'; return false;"><div id="box2_4" class="box">
    676     <a class="symbol" title="Commands" href="#">Cm</a>
    677     <div class="indexno">4</div>
    678     <div class="rubric">Commands</div>
    679     </div>
    680     </td><td onclick="window.location='Actions.html?segment5'; return false;"><div id="box2_5" class="box">
    681     <a class="symbol" title="Tokens" href="#">To</a>
    682     <div class="indexno">5</div>
    683     <div class="rubric">Tokens</div>
    684     </div>
    685     </td><td onclick="window.location='Actions.html'; return false;" style="width:100%">
    686     <div class="headingbox">
    687     	<div class="headingtext">Actions Index</div>
    688     	<div class="headingrubric">Things that people can try to do</div>
    689     </div></td>
    690     </tr><tr><td onclick="window.location='Kinds.html'; return false;"><div class="sidebar"></div></td><td onclick="window.location='Kinds.html?segment1'; return false;"><div id="box3_1" class="box">
    691     <a class="symbol" title="Chart" href="#">Ch</a>
    692     <div class="indexno">1</div>
    693     <div class="rubric">Chart</div>
    694     </div>
    695     </td><td onclick="window.location='Kinds.html?segment2'; return false;"><div id="box3_2" class="box">
    696     <a class="symbol" title="Arithmetic" href="#">Ar</a>
    697     <div class="indexno">2</div>
    698     <div class="rubric">Arithmetic</div>
    699     </div>
    700     </td><td onclick="window.location='Kinds.html?segment3'; return false;"><div id="box3_3" class="box">
    701     <a class="symbol" title="Values" href="#">Vl</a>
    702     <div class="indexno">3</div>
    703     <div class="rubric">Values</div>
    704     </div>
    705     </td><td onclick="window.location='Kinds.html'; return false;" colspan="3" style="width:100%">
    706     <div class="headingbox">
    707     	<div class="headingtext">Kinds Index</div>
    708     	<div class="headingrubric">All the different sorts of value</div>
    709     </div></td>
    710     </tr><tr><td onclick="window.location='Phrasebook.html'; return false;"><div class="sidebar"></div></td><td onclick="window.location='Phrasebook.html?segment1'; return false;"><div id="box4_1" class="box">
    711     <a class="symbol" title="Phrases" href="#">Ph</a>
    712     <div class="indexno">1</div>
    713     <div class="rubric">Phrases</div>
    714     </div>
    715     </td><td onclick="window.location='Phrasebook.html?segment2'; return false;"><div id="box4_2" class="box">
    716     <a class="symbol" title="Lexicon" href="#">Lx</a>
    717     <div class="indexno">2</div>
    718     <div class="rubric">Lexicon</div>
    719     </div>
    720     </td><td onclick="window.location='Phrasebook.html?segment3'; return false;"><div id="box4_3" class="box">
    721     <a class="symbol" title="Relations" href="#">Rl</a>
    722     <div class="indexno">3</div>
    723     <div class="rubric">Relations</div>
    724     </div>
    725     </td><td onclick="window.location='Phrasebook.html?segment4'; return false;"><div id="box4_4" class="box">
    726     <a class="symbol" title="Verbs" href="#">Vb</a>
    727     <div class="indexno">4</div>
    728     <div class="rubric">Verbs</div>
    729     </div>
    730     </td><td onclick="window.location='Phrasebook.html'; return false;" colspan="2" style="width:100%">
    731     <div class="headingbox">
    732     	<div class="headingtext">Phrasebook Index</div>
    733     	<div class="headingrubric">A short dictionary</div>
    734     </div></td>
    735     </tr><tr><td onclick="window.location='Rules.html'; return false;"><div class="sidebar"></div></td><td onclick="window.location='Rules.html?segment1'; return false;"><div id="box5_1" class="box">
    736     <a class="symbol" title="Standards" href="#">St</a>
    737     <div class="indexno">1</div>
    738     <div class="rubric">Standards</div>
    739     </div>
    740     </td><td onclick="window.location='Rules.html?segment2'; return false;"><div id="box5_2" class="box">
    741     <a class="symbol" title="Extras" href="#">Xt</a>
    742     <div class="indexno">2</div>
    743     <div class="rubric">Extras</div>
    744     </div>
    745     </td><td onclick="window.location='Rules.html'; return false;" colspan="4" style="width:100%">
    746     <div class="headingbox">
    747     	<div class="headingtext">Rules Index</div>
    748     	<div class="headingrubric">Inform's general workings</div>
    749     </div></td>
    750     </tr><tr><td onclick="window.location='Scenes.html'; return false;"><div class="sidebar"></div></td><td onclick="window.location='Scenes.html?segment1'; return false;"><div id="box6_1" class="box">
    751     <a class="symbol" title="Plot" href="#">Pl</a>
    752     <div class="indexno">1</div>
    753     <div class="rubric">Plot</div>
    754     </div>
    755     </td><td onclick="window.location='Scenes.html?segment2'; return false;"><div id="box6_2" class="box">
    756     <a class="symbol" title="Events" href="#">Ev</a>
    757     <div class="indexno">2</div>
    758     <div class="rubric">Events</div>
    759     </div>
    760     </td><td onclick="window.location='Scenes.html?segment3'; return false;"><div id="box6_3" class="box">
    761     <a class="symbol" title="Rules" href="#">RS</a>
    762     <div class="indexno">3</div>
    763     <div class="rubric">Rules</div>
    764     </div>
    765     </td><td onclick="window.location='Scenes.html'; return false;" colspan="3" style="width:100%">
    766     <div class="headingbox">
    767     	<div class="headingtext">Scenes Index</div>
    768     	<div class="headingrubric">Like scenes in a movie</div>
    769     </div></td>
    770     </tr><tr><td onclick="window.location='World.html'; return false;"><div class="sidebar"></div></td><td onclick="window.location='World.html?segment1'; return false;"><div id="box7_1" class="box">
    771     <a class="symbol" title="Map" href="#">Mp</a>
    772     <div class="indexno">1</div>
    773     <div class="rubric">Map</div>
    774     </div>
    775     </td><td onclick="window.location='World.html?segment2'; return false;"><div id="box7_2" class="box">
    776     <a class="symbol" title="Gazetteer" href="#">Gz</a>
    777     <div class="indexno">2</div>
    778     <div class="rubric">Gazetteer</div>
    779     </div>
    780     </td><td onclick="window.location='World.html'; return false;" colspan="4" style="width:100%">
    781     <div class="headingbox">
    782     	<div class="headingtext">World Index</div>
    783     	<div class="headingrubric">Like locations, props and actors in a movie</div>
    784     </div></td>
    785     </tr></table></div>
    786     <!--CONTENT ENDS-->
    787     </font>
    788 </body>
    789 </html>