Mercurial > web-gnusto
changeset 81:1765c604e9b9
Renamed 'gnusto' to 'parchment', preserving the naming of gnusto-engine.js, of course.
| author | Atul Varma <varmaa@toolness.com> |
|---|---|
| date | Wed, 21 May 2008 11:32:20 -0700 |
| parents | 38664b81d628 |
| children | 2869ebf025eb |
| files | gnusto.css gnusto.html parchment.css parchment.html |
| diffstat | 4 files changed, 86 insertions(+), 86 deletions(-) [+] |
line wrap: on
line diff
--- 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; -}
--- 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 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" - "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> -<head> - <meta http-equiv="Content-type" content="text/html; charset=utf-8" /> - <link rel="stylesheet" type="text/css" media="all" - href="gnusto.css" /> - <title></title> -</head> -<body> -<div id="top-window" class="buffered-window"></div> -<div id="buffered-windows"></div> -<div id="content"></div> -</body> -<script type="text/javascript" src="jquery-1.2.3.js"></script> -<script type="text/javascript" src="jquery.mousewheel.js"></script> -<script type="text/javascript" src="querystring.js"></script> -<script type="text/javascript" src="remedial.js"></script> -<script type="text/javascript" src="base64.js"></script> -<script type="text/javascript" src="beret.js"></script> -<script type="text/javascript" src="gnusto-engine.js"></script> -<script type="text/javascript" src="engine-runner.js"></script> -<script type="text/javascript" src="console.js"></script> -<script type="text/javascript" src="web-zui.js"></script> -</html>
--- /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; +}
--- /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 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> +<head> + <meta http-equiv="Content-type" content="text/html; charset=utf-8" /> + <link rel="stylesheet" type="text/css" media="all" + href="parchment.css" /> + <title></title> +</head> +<body> +<div id="top-window" class="buffered-window"></div> +<div id="buffered-windows"></div> +<div id="content"></div> +</body> +<script type="text/javascript" src="jquery-1.2.3.js"></script> +<script type="text/javascript" src="jquery.mousewheel.js"></script> +<script type="text/javascript" src="querystring.js"></script> +<script type="text/javascript" src="remedial.js"></script> +<script type="text/javascript" src="base64.js"></script> +<script type="text/javascript" src="beret.js"></script> +<script type="text/javascript" src="gnusto-engine.js"></script> +<script type="text/javascript" src="engine-runner.js"></script> +<script type="text/javascript" src="console.js"></script> +<script type="text/javascript" src="web-zui.js"></script> +</html>