Separate count, timestamp, and message with spaces

Separate these with spaces rather than CSS margins so that they aren't
crowded together when you copy/paste the bare text out.

diff --git a/webclient/rc.html b/webclient/rc.html
index 7ace5f63d5690048d59e404dbf5813ea88a952fa..8c08c7921eb98a7c30fa0c78c6ffceb4f70e8699 100644 (file)
--- a/webclient/rc.html
+++ b/webclient/rc.html
@@ -64,12 +64,9 @@
                text-align: right;
        }
        .servercount {
                text-align: right;
        }
        .servercount {

-               margin-right: 0.5em;
+               margin-right: -0.5em;

                font-size: 70%;
        }
                font-size: 70%;
        }

-       .timestamp {
-               margin-right: 0.8em;
-       }

        .timestamp:hover, .timestamp:hover .servertimestamps {
                background-color: #556;
        }
        .timestamp:hover, .timestamp:hover .servertimestamps {
                background-color: #556;
        }


@@ -193,6 +190,7 @@
                servercount.setAttribute("class", "servercount");
                servercount.appendChild(document.createTextNode(Object.keys(message.ServerTimes).length));
                message.UI.appendChild(servercount);
                servercount.setAttribute("class", "servercount");
                servercount.appendChild(document.createTextNode(Object.keys(message.ServerTimes).length));
                message.UI.appendChild(servercount);

+               message.UI.appendChild(document.createTextNode(" "));

 
                // Timestamp
                var timestamp_text = message.Time ? rcformattime(message.Time) : "";
 
                // Timestamp
                var timestamp_text = message.Time ? rcformattime(message.Time) : "";


@@ -200,6 +198,7 @@
                timestamp.setAttribute("class", "timestamp");
                timestamp.appendChild(document.createTextNode(timestamp_text));
                message.UI.appendChild(timestamp);
                timestamp.setAttribute("class", "timestamp");
                timestamp.appendChild(document.createTextNode(timestamp_text));
                message.UI.appendChild(timestamp);

+               message.UI.appendChild(document.createTextNode(" "));

 
                // Timestamp hover
                var timestamp_hover = document.createElement("div");
 
                // Timestamp hover
                var timestamp_hover = document.createElement("div");