~nasser/---

d91e8edae516d25f6c76c26fdfa7f84ee2feb3c2 — Ramsey Nasser 4 months ago 2db6065 deploy 
Package for deployment

Add deploy script, rename repl.html to index.html, add monospace font
patch browse .tar.gz 
5 files changed, 108 insertions(+), 120 deletions(-)

A deploy.sh
A public/font/KawkabMono-Regular.woff
A public/font/KawkabMono-Regular.woff2
M public/index.html
D public/repl.html

A deploy.sh => deploy.sh +1 -0
@@ 0,0 1,1 @@
rsync -achv public/* root@static:/var/www/xn-----etdcdcu3b3exdwacs.com/ --delete
\ No newline at end of file


A public/font/KawkabMono-Regular.woff => public/font/KawkabMono-Regular.woff +0 -0
A public/font/KawkabMono-Regular.woff2 => public/font/KawkabMono-Regular.woff2 +0 -0
M public/index.html => public/index.html +107 -13
@@ 1,17 1,111 @@
<!doctype html>
<html>
<head>
  <title>Qlb</title>
  <meta charset="utf-8">
  <script src="js/peg.js"></script>
  <script src="js/jx.js"></script>
  
  <script type="text/qlb" charset="utf-8">
  (إذا (أكبر ٩ ١٢) (قول "نعم")(قول "لا"))
  </script>
  <head>
    <title>قلب REPL</title>
    <script src="js/rainbow.js"></script>
    <script src="js/qlb-highlight.js"></script>

    <link rel="stylesheet" type="text/css" href="lib/tamdeed/rasm/shakl.css">
    <script src="lib/tamdeed/rasm/processing.js"></script>

    <style type="text/css">
    @font-face {
      font-family: Kawkab;
      src: url("font/KawkabMono-Regular.woff"), url("font/KawkabMono-Regular.woff2");
    }
    html,
    form,
    body {
        height: 100%;
        width: 100%;
        margin: 0;
        direction: rtl;
    }

  <script src="js/qlb.js"></script>
</head>
<body>
    a,
    a:visited {
      color: blue;
    }

</body>
    /* The console container element */
    #console {
      position: absolute;
      width: 100%;
      height: 100%;
      direction: rtl;
      background-color:  white;
    }
    /* The inner console element. */
    .jqconsole {
        padding: 50px;
        font-family: Kawkab, monospace;
        font-size: 20px;
    }
    /* The cursor. */
    .jqconsole-cursor {
        background-color: gray;
    }
    .jqconsole-blurred .jqconsole-cursor {
        background-color: #666;
    }
    /* The current prompt text color */
    .jqconsole-prompt {
        color: #333;
    }
    /* The command history */
    .jqconsole-old-prompt {
        color:  #586e75;
        font-weight: normal;
    }
    /* The text color when in input mode. */
    .jqconsole-input {
        color: #dd0;
    }
    /* Previously entered input. */
    .jqconsole-old-input {
        color: #bb0;
        font-weight: normal;
    }
    /* The text color of the output. */
    .jqconsole-output {
        color: gray;
    }
    .jqconsole-warn {
        color: #cb4b16;
    }
    .parans {
      text-decoration: underline;
    }

    .function {
      color: #cb4b16;
    }
    .special-form {
      color: #2aa198;
    }
    .number {
      color: #859900;;
    }
    </style>
    <script src="js/jquery.js"></script>
    <script src="js/jqconsole.js"></script>
  </head>
  <body>
    <div id="console"></div>
  <script src="js/repl.js"></script>
  <script src="lib/tamdeed/rasm/rasm-main.js"></script>
  <script type="text/javascript">
    var _gauges = _gauges || [];
    (function() {
      var t   = document.createElement('script');
      t.type  = 'text/javascript';
      t.async = true;
      t.id    = 'gauges-tracker';
      t.setAttribute('data-site-id', '50df5732613f5d186c00000c');
      t.src = '//secure.gaug.es/track.js';
      var s = document.getElementsByTagName('script')[0];
      s.parentNode.insertBefore(t, s);
    })();
  </script>
  </body>
</html>
\ No newline at end of file


D public/repl.html => public/repl.html +0 -107
@@ 1,107 0,0 @@
<!doctype html>
<html>
  <head>
    <title>قلب REPL</title>
    <script src="js/rainbow.js"></script>
    <script src="js/qlb-highlight.js"></script>

    <link rel="stylesheet" type="text/css" href="lib/tamdeed/rasm/shakl.css">
    <script src="lib/tamdeed/rasm/processing.js"></script>

    <style type="text/css">
    html,
    form,
    body {
        height: 100%;
        width: 100%;
        margin: 0;
        direction: rtl;
    }

    a,
    a:visited {
      color: blue;
    }

    /* The console container element */
    #console {
      position: absolute;
      width: 100%;
      height: 100%;
      direction: rtl;
      background-color:  white;
    }
    /* The inner console element. */
    .jqconsole {
        padding: 50px;
        font-family: "Courier New", monospace;
        font-size: 20px;
    }
    /* The cursor. */
    .jqconsole-cursor {
        background-color: gray;
    }
    .jqconsole-blurred .jqconsole-cursor {
        background-color: #666;
    }
    /* The current prompt text color */
    .jqconsole-prompt {
        color: #333;
    }
    /* The command history */
    .jqconsole-old-prompt {
        color:  #586e75;
        font-weight: normal;
    }
    /* The text color when in input mode. */
    .jqconsole-input {
        color: #dd0;
    }
    /* Previously entered input. */
    .jqconsole-old-input {
        color: #bb0;
        font-weight: normal;
    }
    /* The text color of the output. */
    .jqconsole-output {
        color: gray;
    }
    .jqconsole-warn {
        color: #cb4b16;
    }
    .parans {
      text-decoration: underline;
    }

    .function {
      color: #cb4b16;
    }
    .special-form {
      color: #2aa198;
    }
    .number {
      color: #859900;;
    }
    </style>
    <script src="js/jquery.js"></script>
    <script src="js/jqconsole.js"></script>
  </head>
  <body>
    <div id="console"></div>
  <script src="js/repl.js"></script>
  <script src="lib/tamdeed/rasm/rasm-main.js"></script>
  <script type="text/javascript">
    var _gauges = _gauges || [];
    (function() {
      var t   = document.createElement('script');
      t.type  = 'text/javascript';
      t.async = true;
      t.id    = 'gauges-tracker';
      t.setAttribute('data-site-id', '50df5732613f5d186c00000c');
      t.src = '//secure.gaug.es/track.js';
      var s = document.getElementsByTagName('script')[0];
      s.parentNode.insertBefore(t, s);
    })();
  </script>
  </body>
</html>
\ No newline at end of file