# HG changeset patch # User Atul Varma # Date 1211394740 25200 # Node ID 1765c604e9b960cdf02ceb2cc3cf180ccca933cb # Parent 38664b81d6289a9bc7fc6efb29466936144f3cd0 Renamed 'gnusto' to 'parchment', preserving the naming of gnusto-engine.js, of course. diff -r 38664b81d628 -r 1765c604e9b9 gnusto.css --- a/gnusto.css Wed May 21 11:25:34 2008 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,61 +0,0 @@ -body { - font-family: palatino, georgia, verdana, arial, sans-serif; - text-align: center; - overflow: hidden; - margin-top: 0px; - margin-bottom: 8px; -} - -.buffered-window { - text-align: center; - margin: 0 auto; - font-family: monaco, courier, courier new, monospace; - font-size: 10pt; - top: 0px; - left: 0px; - position: fixed; - z-index: 0; -} - -#top-window { - z-index: 1; -} - -#content { - text-align: left; - margin: 0 auto; -} - -#cursor { - text-decoration: blink; -} - -.finished-input { - color: gray; -} - -.z-roman { - color: #000000; -} - -.z-reverse-video { - color: #ffffff; - background: #000000; -} - -.z-bold { - font-variant: small-caps; -} - -.z-italic { - font-style: italic; -} - -.z-fixed-pitch { - font-family: monaco; -} - -#top-window .z-bold { - font-variant: normal; - font-weight: bold; -} diff -r 38664b81d628 -r 1765c604e9b9 gnusto.html --- a/gnusto.html Wed May 21 11:25:34 2008 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,25 +0,0 @@ - - - - - - - - -

- - - - - - - - - - - - diff -r 38664b81d628 -r 1765c604e9b9 parchment.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/parchment.css Wed May 21 11:32:20 2008 -0700 @@ -0,0 +1,61 @@ +body { + font-family: palatino, georgia, verdana, arial, sans-serif; + text-align: center; + overflow: hidden; + margin-top: 0px; + margin-bottom: 8px; +} + +.buffered-window { + text-align: center; + margin: 0 auto; + font-family: monaco, courier, courier new, monospace; + font-size: 10pt; + top: 0px; + left: 0px; + position: fixed; + z-index: 0; +} + +#top-window { + z-index: 1; +} + +#content { + text-align: left; + margin: 0 auto; +} + +#cursor { + text-decoration: blink; +} + +.finished-input { + color: gray; +} + +.z-roman { + color: #000000; +} + +.z-reverse-video { + color: #ffffff; + background: #000000; +} + +.z-bold { + font-variant: small-caps; +} + +.z-italic { + font-style: italic; +} + +.z-fixed-pitch { + font-family: monaco; +} + +#top-window .z-bold { + font-variant: normal; + font-weight: bold; +} diff -r 38664b81d628 -r 1765c604e9b9 parchment.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/parchment.html Wed May 21 11:32:20 2008 -0700 @@ -0,0 +1,25 @@ + + + + + + + + +

+ + + + + + + + + + + +