Mercurial > code > home > repos > light9

changeset 1310:bda3829270ce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
redo rdfdb style to avoid whole-page scroll Ignore-this: 7df33921ba81a2c18cb97bf8a04e2cdb
author Drew Perttula <drewp@bigasterisk.com>
date Mon, 30 May 2016 22:33:38 +0000
parents d5c834766ce9
children df2c70f0ecd9
files light9/rdfdb/web/index.html light9/rdfdb/web/style.css light9/web/style.css
diffstat 3 files changed, 60 insertions(+), 35 deletions(-) [+]
line wrap: on
line diff
--- a/light9/rdfdb/web/index.html	Mon May 30 22:03:23 2016 +0000
+++ b/light9/rdfdb/web/index.html	Mon May 30 22:33:38 2016 +0000
@@ -3,20 +3,21 @@
   <head>
     <title>rdfdb</title>
     <link rel="stylesheet" type="text/css" href="/style.css">
-  </head>
-  <body>
+    <link rel="stylesheet" type="text/css" href="style.css">
+   </head>
+  <body id="rdfdb">
     <h1>rdfdb</h1>
     <div id="status">starting...</div>
     
-    <section>
+    <section id="edits">
       <h2>Edits</h2>
       <div id="patches"></div>
     </section>
 
     <p>Clients: <span id="clients"></span></p>
 
-    <fieldset>
-      <legend>Messages</legend>
+    <section id="messages">
+      <h2>Messages</h2>
       <div id="out"></div>
     </fieldset>
 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/light9/rdfdb/web/style.css	Mon May 30 22:33:38 2016 +0000
@@ -0,0 +1,54 @@
+body {
+    display: flex;
+    flex-direction: column;
+    position: absolute;
+    width: 100%;
+    height: 100%;
+    padding: 0px;
+    margin: 0;
+}
+
+#edits {
+    flex-grow: 3;
+    display: flex;
+    flex-direction: column;
+}
+#messages {
+    flex-grow: 1;
+    display: flex;
+    flex-direction: column;
+    margin-bottom: 3px;
+}
+
+/* rdfdb */
+#patches {
+    overflow-y: scroll;
+    flex: 1 1 0;
+}
+.patch {
+    border: 1px solid gray;
+    padding: 2px;
+    margin: 4px;
+}
+.patch > div {
+    font-family: monospace;
+    font-size: 90%;
+    white-space: pre-wrap;
+} 
+.patch .adds {
+    color: #3AEA38;
+}
+.patch .deletes {
+    color: #FF2828;
+}
+#out {
+    white-space: pre-wrap;
+    overflow-y: auto;
+    /* height: 50px; */
+    flex: 1 0 0;
+}
+.patch fieldset {
+    color: gray;
+    font-family: arial;
+    font-size: 75%;
+}
--- a/light9/web/style.css	Mon May 30 22:03:23 2016 +0000
+++ b/light9/web/style.css	Mon May 30 22:33:38 2016 +0000
@@ -191,33 +191,3 @@
     display: inline-block;
     border-radius: 5px;
 }
-
-/* rdfdb */
-#patches { /* wants flex box */
-    max-height: 27em;
-    overflow-y: scroll;
-}
-.patch {
-    border: 1px solid gray;
-    padding: 2px;
-    margin: 4px;
-}
-.patch > div {
-    font-family: monospace;
-    font-size: 90%;
-    white-space: pre-wrap;
-} 
-.patch .adds {
-    color: #3AEA38;
-}
-.patch .deletes {
-    color: #FF2828;
-}
-#out {
-    white-space: pre-wrap;
-}
-.patch fieldset {
-    color: gray;
-    font-family: arial;
-    font-size: 75%;
-}