diff --git a/light9/rdfdb/web/style.css b/light9/rdfdb/web/style.css deleted file mode 100644 --- a/light9/rdfdb/web/style.css +++ /dev/null @@ -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%; -} diff --git a/light9/subserver/style.css b/light9/subserver/style.css deleted file mode 100644 --- a/light9/subserver/style.css +++ /dev/null @@ -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 diff --git a/light9/web/style.css b/light9/web/style.css --- a/light9/web/style.css +++ b/light9/web/style.css @@ -7,10 +7,30 @@ 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; @@ -81,7 +101,6 @@ button a { color: rgb(85, 221, 85); } .song:before { - content: "♫"; color: black; background: rgb(85, 221, 85); @@ -96,5 +115,77 @@ button a { 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%; +}