# HG changeset patch # User Drew Perttula # Date 1464647618 0 # Node ID bda3829270ce0007adde3d8d7d356bb7f04cd208 # Parent d5c834766ce95daf07fd795c5f2644e82ea379ac redo rdfdb style to avoid whole-page scroll Ignore-this: 7df33921ba81a2c18cb97bf8a04e2cdb diff -r d5c834766ce9 -r bda3829270ce light9/rdfdb/web/index.html --- 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 @@ rdfdb - - + + +

rdfdb

starting...
-
+

Edits

Clients:

-
- Messages +
+

Messages

diff -r d5c834766ce9 -r bda3829270ce light9/rdfdb/web/style.css --- /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%; +} diff -r d5c834766ce9 -r bda3829270ce light9/web/style.css --- 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%; -}