Mercurial > code > home > repos > light9

changeset 1218:ab72450ef4b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
style consolidation Ignore-this: 815d0e10ea2df2d401187f5f835d616
author Drew Perttula <drewp@bigasterisk.com>
date Mon, 08 Jun 2015 02:09:39 +0000
parents e703b3434dbd
children b15a2d8ef1ab
files light9/rdfdb/web/style.css light9/subserver/style.css light9/web/style.css
diffstat 3 files changed, 95 insertions(+), 102 deletions(-) [+]
line wrap: on
line diff
--- a/light9/rdfdb/web/style.css	Mon Jun 08 02:08:25 2015 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,32 +0,0 @@
-body {
-    background: black;
-    color: white;
-}
-#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%;
-}
--- a/light9/subserver/style.css	Mon Jun 08 02:08:25 2015 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,66 +0,0 @@
-body {
-    font-family: sans;
-    background: rgb(0, 0, 0);
-    color: rgb(163, 163, 163);
-}
-h1 {
-    margin: 0;
-}
-h2 {
-    margin: 0;
-    padding: 0;
-    font-size: 100%;
-}
-ul {
-    margin: 0;
-}
-.vari {
-    color: white;
-}
-a.resource {
-    color: inherit;
-    text-decoration: none;
-}
-
-.resource {
-    border: 1px solid gray;
-    border-radius: 5px;
-    padding: 1px;
-    margin: 2px;
-    background: rgb(66, 66, 66);
-    display: block;
-}
-.resource a {
-    color: rgb(150, 150, 255);
-}
-.sub {
-    display: inline-block;
-    vertical-align: top;
-}
-.sub.local {
-    background: rgb(44, 44, 44);
-}
-.sub img {
-    width: 196px;
-    min-height: 40px;
-    margin: 0 6px;
-    background: -webkit-gradient(linear,right top,left bottom,color-stop(0,rgb(121, 120, 120)),color-stop(1,rgb(54, 54, 54)));
-}
-
-input[type=text] {
-    border: 1px inset rgb(177, 177, 177);
-    background: rgb(230, 230, 230);
-    padding: 3px;
-}
-#status {
-    position: fixed;
-    bottom: 10px;
-    right: 10px;
-}
-.chase {
-    background: rgb(75, 57, 72);
-}
-
-a button {
-    font-size: 60%;
-}
\ No newline at end of file
--- a/light9/web/style.css	Mon Jun 08 02:08:25 2015 +0000
+++ b/light9/web/style.css	Mon Jun 08 02:09:39 2015 +0000
@@ -7,10 +7,30 @@
     margin: 0;
 }
 
+h2 {
+    margin: 0;
+    padding: 0;
+    font-size: 100%;
+}
+ul {
+    margin: 0;
+}
 a {
-color: rgb(97, 97, 255);
+    color: rgb(97, 97, 255);
+}
+
 
-    }
+input[type=text] {
+    border: 1px inset rgb(177, 177, 177);
+    background: rgb(230, 230, 230);
+    padding: 3px;
+}
+#status {
+    position: fixed;
+    bottom: 10px;
+    right: 10px;
+}
+
 
 .songs {
     -moz-column-width:205px;
@@ -81,7 +101,6 @@
     color: rgb(85, 221, 85);
 }
 .song:before {
-
     content: "♫";
     color: black;
     background: rgb(85, 221, 85);
@@ -96,5 +115,77 @@
     margin-right: 3px;
     text-decoration: none !important;
     font-size: 140%;
+}
 
-}
\ No newline at end of file
+
+/* subserver */
+.vari {
+    color: white;
+}
+a.resource {
+    color: inherit;
+    text-decoration: none;
+}
+
+.resource {
+    border: 1px solid gray;
+    border-radius: 5px;
+    padding: 1px;
+    margin: 2px;
+    background: rgb(66, 66, 66);
+    display: block;
+}
+.resource a {
+    color: rgb(150, 150, 255);
+}
+.sub {
+    display: inline-block;
+    vertical-align: top;
+}
+.sub.local {
+    background: rgb(44, 44, 44);
+}
+.sub img {
+    width: 196px;
+    min-height: 40px;
+    margin: 0 6px;
+    background: -webkit-gradient(linear,right top,left bottom,color-stop(0,rgb(121, 120, 120)),color-stop(1,rgb(54, 54, 54)));
+}
+.chase {
+    background: rgb(75, 57, 72);
+}
+
+a button {
+    font-size: 60%;
+}
+
+
+/* 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%;
+}