CINXE.COM
PRAGMA ADE web page: text
<?xml version="1.0"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"><title>PRAGMA ADE web page: text</title><meta http-equiv="content-type" content="text/html; charset=UTF-8"/><meta name="robots" content="all"/><style type="text/css"><!-- body { color: #FFFFFF ; background-color: #808080 ; font-family: verdana, futura, "dejavu sans", arial, geneva, helvetica, sans ; font-size: 12px ; line-height: 18px ; } a:link, a:active, a:visited { color: #FFFFFF ; } a.dir-view:link, a.dir-view:active, a.dir-view:visited { color: #FFFFFF ; text-decoration: underline ; } .valid { color: #00FF00 ; } .invalid { color: #FF0000 ; } .invisible { visibility: hidden ; } button, .commonlink, .smallbutton { font-weight: bold ; xfont-size: 12px ; text-decoration: none ; color: #000000 ; border-color: #7F7F7F ; border-style: solid ; border-width: .125ex ; background-color: #FFFFFF ; padding: .5ex ; } .smallbutton { width: 1em ; } a.commonlink:link, a.commonlink:active, a.commonlink:visited, a.smalllink:link, a.smalllink:active, a.smalllink:visited { font-weight: bold ; xfont-size: 12px ; text-decoration: none ; color: #000000 ; } h1, .title { font-style: normal ; font-weight: normal ; font-size: 18px ; line-height: 18px ; margin-bottom: 20px ; } h2, .subtitle { font-style: normal ; font-weight: normal ; font-size: 12px ; margin-top: 18px ; margin-bottom: 18px ; } table { line-height: 18px ; font-size: 12px ; margin: 0 ; } th { font-weight: bold ; text-align: left ; padding-bottom: 6px ; } .tc { font-weight: bold ; text-align: left ; } p, li { max-width: 60em ; } .empty-line { margin-top: 4px ; } .more-room { margin-right: 1.5em ; } .much-more-room { margin-right: 3em ; } #main { position: absolute; left: 10% ; top: 10% ; right: 10% ; bottom: 10% ; z-index: 2 ; width: 80% ; height: 80% ; padding: 0% ; margin: 0% ; overflow: auto ; border-style: none ; border-width: 0 ; background-color: #3F3F3F ; } #main-settings { margin: 12px ; x_max-width: 60em ; line-height: 18px ; font-size: 12px ; } #left { position: absolute; top : 10% ; left: 0% ; bottom: 0%; right: 90% ; z-index: 1 ; width: 10% ; height: 90% ; padding: 0% ; margin: 0% ; font-size: 18px ; border-style: none ; border-width: 0 ; background-color: rgb(40%,40%,10%) ; } #right { position: absolute; top : 0% ; left: 90% ; bottom: 10% ; right: 0% ; z-index: 1 ; width: 10% ; height: 90% ; padding: 0% ; margin: 0% ; font-size: 18px ; border-style: none ; border-width: 0 ; background-color: rgb(40%,40%,10%) ; _margin-left: -15px ; } #bottom { position: absolute ; left: 10% ; right: 0% ; top: 90% ; bottom: 0% ; z-index: 1 ; width: 90% ; height: 10% ; padding: 0% ; margin: 0% ; font-size: 18px ; border-style: none ; border-width: 0 ; background-color: rgb(60%,60%,40%) ; } #top { position: absolute ; left: 0% ; right: 10% ; top: 0% ; bottom: 90% ; z-index: 1 ; width: 90% ; height: 10% ; padding: 0% ; margin: 0% ; font-size: 18px ; border-style: none ; border-width: 0 ; background-color: rgb(60%,60%,40%) ; } #top-one { position: absolute ; bottom: 50% ; width: 100% ; buggedheight: 100% ; } #top-two { position: relative ; margin-bottom: -9px ; margin-left: 12px ; margin-right: 12px ; line-height: 18px ; text-align: right ; vertical-align: middle ; } #bottom-one { position: absolute ; bottom: 50% ; width: 100% ; buggedheight: 100% ; } #bottom-two { position: relative ; margin-bottom: -9px ; margin-left: 12px ; margin-right: 12px ; line-height: 18px ; text-align: left ; vertical-align: middle ; } #left-one { position: absolute ; width: 100% ; buggedheight: 100% ; } #left-two { position: relative ; margin-top: 12px ; line-height: 18px ; text-align: center ; vertical-align: top ; } #right-one { display: table ; height: 100% ; width: 100% ; } #right-two { display: table-row ; height: 100% ; width: 100% ; } #right-three { display: table-cell ; width: 100% ; vertical-align: bottom ; _position: absolute ; _top: 100% ; } #right-four { text-align: center ; margin-bottom: 2ex ; _position: relative ; _top: -100% ; } #more-top { position: absolute; top: 0% ; left: 90% ; bottom: 90%; right: 0% ; z-index: 3 ; width: 10% ; height: 10% ; padding: 0% ; margin: 0% ; border-style: none ; border-width: 0 ; } #more-top-settings { text-align: center ; } #more-right-settings { margin-right: 12px ; margin-left: 12px ; line-height: 18px ; font-size: 12px ; text-align: center ; } #right-safari { _display: table ; width: 100% ; height: 100% ; } .center-cell { vertical-align: middle ; } .height-50 { height: 50% ; } .height-80 { height: 75% ; } .height-100 { height: 100% ; } .width-50 { width: 50% ; } .width-80 { width: 75% ; } .width-100 { width: 100% ; } --></style><body><div id="top"><div id="top-one"><div id="top-two"><a href="about-1.htm" title="some information about this site and PRAGMA">about</a>聽聽聽<a href="showcase.pdf" title="the PDF based document navigator">showcase</a>聽聽聽<a href="overview.htm" title="a list of all (downloadable) documents">overview</a>聽聽聽<a href="download-1.htm" title="CONTEXT related downloads">download</a>聽聽聽<a href="link-1.htm" title="CONTEXT related links">links</a>聽聽聽<a href="document-1.htm" title="an overview the documentation suite">documents</a>聽聽聽<a href="install.htm" title="an overview the documentation suite">installation</a>聽聽聽<a href="luametatex-1.htm" title="the LUAMETATEX engine">luametatex</a></div></div></div><div id="bottom"><div id="bottom-one"><div id="bottom-two">PRAGMA Advanced Document Engineering</div></div></div><div id="left"><div id="left-one"><div id="left-two">聽<br/><a href="about-1.htm" title="some information about this site and PRAGMA">what we do</a><br/>聽<br/><a href="text-info.htm" title="where to find and how to reach us">contact</a><br/></div></div></div><div id="main"><div id="main-settings"><div class="title">Welcome</div> <p> This is the website of PRAGMA Advanced Document Engineering, a company specializing in high quality automated typesetting. This website serves the following purposes: </p> <ul> <li> Here you can download CONTEXT, a system for typesetting documents based on TEX and METAPOST. You can use this system for converting documents coded in TEX format as well as documents coded in XML into high quality PDF. </li> <li> A large portion of the site is dedicated to documentation, examples and other goodies that are related to the tools that we provide. In addition we provide a couple of links. </li> <li> Many documents here are snapshots of the technology at some point in time. We publish on a regular basis in user group magazines and present progress on conferences. Check out the TEX related websites for the latest news. </li> </ul> <p> You can use the links in the top bar to navigate this site. The 'showcase' link starts PDF based navigation, which looks nicer. Pages are often split into smaller ones and you can go forward and backward with the 'next' and 'prev' buttons. </p> <br/><br/><br/><div class="title">Welkom</div> <p> Dit is de website van PRAGMA Advanced Document Engineering, een bedrijf gespecialiseerd in het automatisch typesetten van hoogwaardig zetwerk. Deze website dient de volgende doelen: </p> <ul> <li> Vanaf deze plek kan CONTEXT worden gedownload. CONTEXT is gebaseerd op TEX en METAPOST en wordt gebruikt voor het typesetten van documenten. Met dit systeem worden in TEX of XML gecodeerde documenten omgezet in hoogwaardige PDF. </li> <li> Het grootste deel van de website is bestemd voor documentatie, voorbeelden en andere wetenswaardigheden met betrekking tot CONTEXT en gerelateerde hulpmiddelen. Daarnaast is een aantal bruikbare links opgenomen. </li> <li> Veel van de documenten in de download sectie zijn momentopnamen van de techniek. We publiceren regelmatig in de periodieken van gebruikersgroepen en geven presentaties tijdens conferenties. Meer daarover is te vinden op TEX gerelateerde websites. </li> </ul> <p> Deze site wordt bediend via de links in de bovenkant van het scherm. Met de 'showcase' link start een op PDF gebaseerde navigatie die fraaier oogt dan de HTML variant. De paginas zijn vaak gesplitst en er kan vooruit en achteruit worden gesprongen met de 'next' en 'prev' buttons. </p> </div></div><div id="right"><div id="right-safari"><div id="right-one"><div id="right-two"><div id="right-three"><div id="right-four"><div id="right-five"><a href="index.htm"><img class="width-50" src="logo-ade.svg" alt="pragma ade logo"/></a><br/>聽<br/></div></div></div></div></div></div></div></body></html>