comparison default/static/styles.css @ 84:b2ef34e602cf

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).
author Goffi <goffi@goffi.org>
date Wed, 03 Jan 2018 01:12:16 +0100
parents 3eec00136867
children 92ca411ee635
comparison
equal deleted inserted replaced
83:caab77328b1c 84:b2ef34e602cf
234 */ 234 */
235 color: inherit; 235 color: inherit;
236 text-decoration: inherit; 236 text-decoration: inherit;
237 } 237 }
238 238
239
240 /*** Notifications ***/
241
242 .notification.retry {
243 position: fixed;
244 top: 1rem;
245 margin: auto;
246 width: 80%;
247 background: #DB1616;
248 border: 3px solid silver;
249 left: 10%;
250 text-align: center;
251 }
252
253 #retry_counter {
254 font-weight: bold;
255 }
256
257 #retry_now {
258 color: blue;
259 text-decoration: underline;
260 cursor: pointer;
261 }
262
239 @media (min-width: 800px) { 263 @media (min-width: 800px) {
240 html { 264 html {
241 background-size: auto; 265 background-size: auto;
242 } 266 }
243 267