Changeset - bda3829270ce
[Not reviewed]
default
0 2 1
Drew Perttula - 9 years ago 2016-05-30 22:33:38
drewp@bigasterisk.com
redo rdfdb style to avoid whole-page scroll
Ignore-this: 7df33921ba81a2c18cb97bf8a04e2cdb
3 files changed with 60 insertions and 35 deletions:
0 comments (0 inline, 0 general)
light9/rdfdb/web/index.html
Show inline comments
 
@@ -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>
 

	
light9/rdfdb/web/style.css
Show inline comments
 
new file 100644
 
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%;
 
}
light9/web/style.css
Show inline comments
 
@@ -191,33 +191,3 @@ a.big {
 
    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%;
 
}
0 comments (0 inline, 0 general)