+
+/* Timer (dimensions given in javascript) */
+
+#timer {
+ position: absolute;
+ z-index: 100;
+ left: 0;
+ top: 0;
+ background-color: white;
+ cursor: pointer;
+ text-align: center;
+}
+
+.timeout {
+ color: red;
+}
+
+img.close-cross {
+ display: block;
+ position: absolute;
+ top: 0;
+ right: 0;
+ width: 30px;
+}
+
+/* ranking div */
+
+#ranking {
+ margin-bottom: 15px;
+ overflow: auto;
+}
+
+table.ranking {
+ border-collapse: collapse;
+ width: 500px;
+ margin: 0 auto;
+ font-size: 1.1rem;
+ display: block;
+ float: left;
+}
+
+table.ranking td
+{
+ border: 1px solid #ddd;
+ padding: 10px;
+}
+table.ranking th {
+ padding: 1em 10px;
+ text-align: left;
+}
+
+table.ranking tr:not(.title) {
+ background-color: #aaa;
+}
+table.ranking tr:not(.title):nth-child(even){
+ background-color: #ccc;
+}
+table.ranking tr:not(.title):hover, table.ranking tr:not(.title):nth-child(even):hover {
+ background-color: lightyellow;
+}