light9 Changeset - ab72450ef4b1

Changeset - ab72450ef4b1

Parent rev.

Child rev.

[Not reviewed]

default

2 1 0

Drew Perttula - 10 years ago 2015-06-08 02:09:39
drewp@bigasterisk.com

style consolidation
Ignore-this: 815d0e10ea2df2d401187f5f835d616

3 files changed with 95 insertions and 102 deletions:

light9/rdfdb/web/style.css

light9/subserver/style.css

light9/web/style.css

0 comments (0 inline, 0 general)

light9/rdfdb/web/style.css

➞

Show inline comments

deleted file

light9/subserver/style.css

➞

Show inline comments

deleted file

light9/web/style.css

➞

Show inline comments

@@ @@ -4,16 +4,36 @@ body { @@
     font-family: sans-serif;
+}
 h1 {
     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;
     -webkit-column-width:205px;
+}
 .songs button {
@@ @@ -78,13 +98,12 @@ button a { @@
+}
 .song {
     color: rgb(85, 221, 85);
+}
 .song:before {
     content: "♫";
     color: black;
     background: rgb(85, 221, 85);
     border-radius: 30%;
+}
@@ @@ -93,8 +112,80 @@ button a { @@
+}
 .song:before, .effect:before {
     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%;
+}

0 comments (0 inline, 0 general)