change styles for rendered page

9 years ago · 266e5eccce
parent 2adfeaaaaa
commit 266e5eccce
2 changed files with 8 additions and 5 deletions
--- a/www/render/index.html
+++ b/www/render/index.html
@ -8,15 +8,13 @@
        html, body {
            padding: 0px;
            margin: 0px;
            box-sizing: border-box;
        }
        #target {
            position: fixed;
            box-sizing: border-box;
            border: 1px solid blue;
            width: 100%;
            height: 100%;
            overflow: auto;
            font-size: 15px;
            top: 0px;
            left: 0px;
@ -32,6 +30,13 @@
        img {
            max-width: 100%;
        }
        /* monospace for code */
        code {
            font-family: monospace;
        }
        /* TODO
            bump up text size on mobile
        */
    </style>
 </head>
 <body>
--- a/www/render/main.js
+++ b/www/render/main.js
@ -120,8 +120,6 @@ define([
        return rt;
    })[0];
    window.rts = rts;
    $textarea.on('change keyup keydown', function () {
        redrawTimeout && clearTimeout(redrawTimeout);
        redrawTimeout = setTimeout(function () {