base, js (websocket), css (main style): dynamic pages implementation, first draft: this patch introduces the browser part of dynamic pages. Dynamic pages work by establishing a websocket between server and the current page, if requested by server (which means that needed arguments are present in template). Once the connection is established, the server can, for now, reload the page, append HTML elements, or receive arbitrary data (without reloading the page, in opposition to data post). If connection can't be established, a popup will be displayed and connection will be retried many times after variable timeouts. The browser will finally give up and display an alert to client if the number of retries is too high (20 for now).

--- a/default/static/styles.css	Wed Jan 03 01:12:16 2018 +0100
+++ b/default/static/styles.css	Wed Jan 03 01:12:16 2018 +0100
@@ -236,6 +236,30 @@
   text-decoration: inherit;
 }
 
+
+/*** Notifications ***/
+
+.notification.retry {
+	position: fixed;
+	top: 1rem;
+	margin: auto;
+	width: 80%;
+	background: #DB1616;
+	border: 3px solid silver;
+	left: 10%;
+	text-align: center;
+}
+
+#retry_counter {
+	font-weight: bold;
+}
+
+#retry_now {
+	color: blue;
+	text-decoration: underline;
+	cursor: pointer;
+}
+
 @media (min-width: 800px) {
     html {
         background-size: auto;