Make the JSON output filename configurable.

[remoteglot] / www / css / remoteglot.css

diff --git a/www/css/remoteglot.css b/www/css/remoteglot.css
index 186ef1f3bb2219e6a71fda80da40ece5b97dc206..ca956822dd69d01ad593df07fa02e5b5d274955e 100644 (file)
--- a/www/css/remoteglot.css
+++ b/www/css/remoteglot.css
@@ -39,6 +39,11 @@ td {
 p {
        margin-top: 0;
 }
+#sortbyscoreholder {
+       font-size: smaller;
+       margin: 0;
+       font-style: italic;
+}
 #refutationlines {
        font-size: smaller;
 }
@@ -72,6 +77,9 @@ p {
        width: 100%;
        padding: 0;
 }
+#hiddenboard {
+       display: none;
+}
 #numviewers {
        display: block;
        width: 100%;
@@ -108,3 +116,19 @@ p {
                min-width: 0;
        }
 }
+a.move {
+       color: black;
+       text-decoration: none;
+}
+a.move.highlight {
+       color: red;
+       font-weight: bold;
+}
+a.move:hover {
+       font-weight: bold;
+       text-decoration: underline;
+}
+
+#linenav {
+       display: none;
+}