Changeset 7
- Timestamp:
- 12/13/05 16:34:13 (3 years ago)
- Files:
-
- trunk/gpl2-gpl3.xml (modified) (1 diff)
- trunk/selectxpath.xsl (modified) (3 diffs)
- trunk/stet.css (modified) (3 diffs)
- trunk/tagPSent.pl (added)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/gpl2-gpl3.xml
r4 r7 2 2 <?xml-stylesheet href="selectxpath.xsl" type="text/xsl" ?> 3 3 <!DOCTYPE gpl SYSTEM "gpl3.dtd"> 4 <!-- $Id $ -->4 <!-- $Id: gpl2-gpl3.xml 39 2005-12-13 21:31:52Z orion $ --> 5 5 <gpl> 6 6 <head> trunk/selectxpath.xsl
r5 r7 25 25 <html> 26 26 <head> 27 <title><xsl:value-of select="/ gpl/head/title"/></title>27 <title><xsl:value-of select="//head/title"/></title> 28 28 <script type="text/javascript" src="stet.js"/> 29 29 <link rel="stylesheet" type="text/css" href="stet.css"/> … … 47 47 48 48 49 <xsl:template match="/ gpl/head">49 <xsl:template match="//head"> 50 50 <h1><xsl:value-of select="title"/></h1> 51 51 <p><xsl:value-of select="pubdate"/></p> … … 69 69 </xsl:template> 70 70 71 <xsl:template match="/ gpl/body">71 <xsl:template match="//body"> 72 72 <p><a href="javascript:XpathSel()">select some text and then type "c" to submit comments.</a> 73 <p><a href="javascript:LimitQuery()">limit your query by various criteria.</a></p> 73 74 </p> 74 75 <p>Toggle display of <a href="javascript:toggle('add')">additions</a> | <a href="javascript:toggle('del')">deletions</a></p> trunk/stet.css
r5 r7 49 49 #maintext { 50 50 51 float:left 52 51 53 position: absolute; 52 54 margin-left: 3em; 53 55 margin-top: 1em; 54 56 float: left; 55 left: 0;56 top: 0;57 width: 66%;57 // left: 0; 58 // top: 0; 59 // margin-right: 33%; 58 60 // border: 1px dotted #666; 59 61 width: 65%; 60 62 } 61 63 … … 68 70 width: 30%; 69 71 font-size: smaller; 72 //left: 70%; 73 float: right; 70 74 position: absolute; 71 margin-left: 100%;75 margin-left: 68%; 72 76 // border: 1px dotted #666; 73 77 z-index: 100; … … 78 82 font-size: smaller; 79 83 //position: absolute; 80 position: relative;84 //position: relative; 81 85 float: right; 82 right: -200px; 86 //margin-left: 100%; 87 left: 70%; 88 //right: -%; 83 89 width: 25%; 84 90 border: 1px dotted #666; 85 91 background: #f0ecb3; 86 92 z-index: 10; 93 clear: right; 87 94 } 88 95