server: Make the server "sync" even if not sync with others

Fit the dashboard to the promo
2022-03-03 12:49:13 +01:00 · 2022-03-03 12:45:46 +01:00
2 changed files with 5 additions and 2 deletions
--- a/server.yml
+++ b/server.yml
@ -830,6 +830,9 @@ files:
      # if the adjustment is larger than 1 second.
      makestep 10 3
      # Allow synchronization of clients even if the server is not sync itself
      local stratum 8
      allow all
    mode: "0440"
--- a/token-validator/htdocs/dashboard.html
+++ b/token-validator/htdocs/dashboard.html
@ -24,10 +24,10 @@
 	  height: calc(100vh / 5 - 0.3vh);
 	  margin-left: 0.2%;
 	  margin-bottom: 0.2vh;
-	  width: calc(100vw / 13 - 0.26vw);
+	  width: calc(100vw / 12 - 0.26vw);
      }
      .student-title {
-	  width: calc(2 * (100vw / 13 - 0.22vw) + 0.2vw);
+	  width: calc(2 * (100vw / 12 - 0.22vw) + 0.2vw);
 	  font-size: 15px;
      }
      .student h5 {
Author	SHA1	Message	Date
Pierre-Olivier Mercier	1f3d937bb7	server: Make the server "sync" even if not sync with others All checks were successful continuous-integration/drone/push Build is passing Details	2022-03-03 12:49:13 +01:00
Pierre-Olivier Mercier	0713e5198f	Fit the dashboard to the promo	2022-03-03 12:45:46 +01:00