annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
9a31d2c02f47 SàT templates, initial commit
Goffi <goffi@goffi.org>
parents:
diff changeset
1 html {
14
9a77174abc1e style: use sat-base-font + added .box class + use media queries for responsive design
Goffi <goffi@goffi.org>
parents: 4
diff changeset
2 font-family: "sat-base-font";
0
9a31d2c02f47 SàT templates, initial commit
Goffi <goffi@goffi.org>
parents:
diff changeset
3 }
9a31d2c02f47 SàT templates, initial commit
Goffi <goffi@goffi.org>
parents:
diff changeset
4
4
e6de0e67c4c1 styles: footer is now placed at the bottom of the page using flexbox
Goffi <goffi@goffi.org>
parents: 1
diff changeset
5 body {
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
6 margin: 0;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
7 padding: 0;
4
e6de0e67c4c1 styles: footer is now placed at the bottom of the page using flexbox
Goffi <goffi@goffi.org>
parents: 1
diff changeset
8 display: flex;
e6de0e67c4c1 styles: footer is now placed at the bottom of the page using flexbox
Goffi <goffi@goffi.org>
parents: 1
diff changeset
9 height: 100vh;
e6de0e67c4c1 styles: footer is now placed at the bottom of the page using flexbox
Goffi <goffi@goffi.org>
parents: 1
diff changeset
10 flex-direction: column;
e6de0e67c4c1 styles: footer is now placed at the bottom of the page using flexbox
Goffi <goffi@goffi.org>
parents: 1
diff changeset
11 box-sizing: border-box;
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
12 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
13
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
14 #main_side_bar {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
15
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
16 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
17
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
18 #main_area {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
19 flex: 1;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
20 display: flex;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
21 flex-direction: column;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
22 box-sizing: border-box;
4
e6de0e67c4c1 styles: footer is now placed at the bottom of the page using flexbox
Goffi <goffi@goffi.org>
parents: 1
diff changeset
23 }
e6de0e67c4c1 styles: footer is now placed at the bottom of the page using flexbox
Goffi <goffi@goffi.org>
parents: 1
diff changeset
24
e6de0e67c4c1 styles: footer is now placed at the bottom of the page using flexbox
Goffi <goffi@goffi.org>
parents: 1
diff changeset
25 #body {
e6de0e67c4c1 styles: footer is now placed at the bottom of the page using flexbox
Goffi <goffi@goffi.org>
parents: 1
diff changeset
26 flex: 1;
81
3eec00136867 css (main style): #body is now a positioned element
Goffi <goffi@goffi.org>
parents: 73
diff changeset
27 position: relative;
4
e6de0e67c4c1 styles: footer is now placed at the bottom of the page using flexbox
Goffi <goffi@goffi.org>
parents: 1
diff changeset
28 }
e6de0e67c4c1 styles: footer is now placed at the bottom of the page using flexbox
Goffi <goffi@goffi.org>
parents: 1
diff changeset
29
0
9a31d2c02f47 SàT templates, initial commit
Goffi <goffi@goffi.org>
parents:
diff changeset
30 footer {
9a31d2c02f47 SàT templates, initial commit
Goffi <goffi@goffi.org>
parents:
diff changeset
31 text-align: center;
9a31d2c02f47 SàT templates, initial commit
Goffi <goffi@goffi.org>
parents:
diff changeset
32 font-size: 0.7em;
9a31d2c02f47 SàT templates, initial commit
Goffi <goffi@goffi.org>
parents:
diff changeset
33 font-weight: bold;
9a31d2c02f47 SàT templates, initial commit
Goffi <goffi@goffi.org>
parents:
diff changeset
34 }
14
9a77174abc1e style: use sat-base-font + added .box class + use media queries for responsive design
Goffi <goffi@goffi.org>
parents: 4
diff changeset
35
9a77174abc1e style: use sat-base-font + added .box class + use media queries for responsive design
Goffi <goffi@goffi.org>
parents: 4
diff changeset
36 .box {
9a77174abc1e style: use sat-base-font + added .box class + use media queries for responsive design
Goffi <goffi@goffi.org>
parents: 4
diff changeset
37 background-color: #edf2ff;
9a77174abc1e style: use sat-base-font + added .box class + use media queries for responsive design
Goffi <goffi@goffi.org>
parents: 4
diff changeset
38 border-radius: 0;
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
39 border-color: silver;
14
9a77174abc1e style: use sat-base-font + added .box class + use media queries for responsive design
Goffi <goffi@goffi.org>
parents: 4
diff changeset
40 }
9a77174abc1e style: use sat-base-font + added .box class + use media queries for responsive design
Goffi <goffi@goffi.org>
parents: 4
diff changeset
41
9a77174abc1e style: use sat-base-font + added .box class + use media queries for responsive design
Goffi <goffi@goffi.org>
parents: 4
diff changeset
42 .title {
9a77174abc1e style: use sat-base-font + added .box class + use media queries for responsive design
Goffi <goffi@goffi.org>
parents: 4
diff changeset
43 font-weight: bold;
9a77174abc1e style: use sat-base-font + added .box class + use media queries for responsive design
Goffi <goffi@goffi.org>
parents: 4
diff changeset
44 text-align: center;
9a77174abc1e style: use sat-base-font + added .box class + use media queries for responsive design
Goffi <goffi@goffi.org>
parents: 4
diff changeset
45 }
39
9abef4a23af0 base/base: a confirm message is displayed on top of page when confirm is set
Goffi <goffi@goffi.org>
parents: 14
diff changeset
46
9abef4a23af0 base/base: a confirm message is displayed on top of page when confirm is set
Goffi <goffi@goffi.org>
parents: 14
diff changeset
47 .post_confirm {
9abef4a23af0 base/base: a confirm message is displayed on top of page when confirm is set
Goffi <goffi@goffi.org>
parents: 14
diff changeset
48 text-align: center;
9abef4a23af0 base/base: a confirm message is displayed on top of page when confirm is set
Goffi <goffi@goffi.org>
parents: 14
diff changeset
49 background-color: lightgreen;
9abef4a23af0 base/base: a confirm message is displayed on top of page when confirm is set
Goffi <goffi@goffi.org>
parents: 14
diff changeset
50 padding: 1em;
9abef4a23af0 base/base: a confirm message is displayed on top of page when confirm is set
Goffi <goffi@goffi.org>
parents: 14
diff changeset
51 font-size: 1.2em;
9abef4a23af0 base/base: a confirm message is displayed on top of page when confirm is set
Goffi <goffi@goffi.org>
parents: 14
diff changeset
52 font-weight: bold;
9abef4a23af0 base/base: a confirm message is displayed on top of page when confirm is set
Goffi <goffi@goffi.org>
parents: 14
diff changeset
53 width: 60%;
9abef4a23af0 base/base: a confirm message is displayed on top of page when confirm is set
Goffi <goffi@goffi.org>
parents: 14
diff changeset
54 margin: 1.5em auto;
9abef4a23af0 base/base: a confirm message is displayed on top of page when confirm is set
Goffi <goffi@goffi.org>
parents: 14
diff changeset
55 }
47
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
56
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
57 /*** Generic ***/
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
58
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
59 .button:hover {
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
60 background-color: #bc0000;
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
61 }
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
62
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
63 /*** Messages ***/
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
64
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
65 .message_info {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
66 max-width: 500px;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
67 margin: 0 auto;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
68 padding: 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
69 text-align: justify;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
70 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
71
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
72 .message_info pre {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
73 background: #ddd;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
74 padding: 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
75 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
76
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
77 /*** Menus ***/
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
78
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
79 .menu ul {
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
80 display: flex;
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
81 padding: 0;
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
82 margin-top: 8px;
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
83 list-style: none;
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
84 }
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
85
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
86 .menu a {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
87 display: block;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
88 color: inherit;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
89 text-decoration: none;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
90 font-variant: small-caps;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
91 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
92
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
93 .main_menu {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
94 min-width: 200px;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
95 /* background-color: #eaeaea; */
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
96 background-color: #333;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
97 color: white;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
98 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
99
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
100 .main_menu ul {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
101 flex-direction: row;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
102 flex-wrap: wrap;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
103 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
104
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
105 .main_menu li {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
106 flex: 1;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
107 padding: 0;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
108 margin: 0 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
109 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
110
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
111 .main_menu a {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
112 display: inline;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
113 white-space: nowrap;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
114 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
115
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
116 .main_menu a:hover {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
117 background-color: initial;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
118 text-shadow: 1px 1px 2px;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
119 font-weight: bold;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
120 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
121
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
122 .category_menu ul {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
123 justify-content: center;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
124 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
125
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
126 .category_menu li {
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
127 margin: 0.5em;
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
128 text-align: center;
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
129 }
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
130
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
131 .category_menu a {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
132 border: solid 1px;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
133 padding: 0.5em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
134 border-radius: 0.2em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
135 background: #eee;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
136 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
137
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
138 /*** containers ***/
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
139
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
140 /* tabs */
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
141
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
142 .tab_container {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
143 max-width: 1000px;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
144 margin: 0 auto;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
145 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
146
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
147 .tab_header {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
148 background-color: white;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
149 border-bottom: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
150 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
151
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
152 .tab_header ul {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
153 display: flex;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
154 margin: 0;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
155 padding: 0;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
156 list-style: none;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
157 background-color: white;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
158 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
159
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
160 .tab_page {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
161 box-sizing: border-box;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
162 padding-top: 2em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
163 border: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
164 border-top: none;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
165 display: None;
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
166 }
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
167
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
168 .tab_page.clicked {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
169 display: block;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
170 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
171
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
172 .tab_button {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
173 display: inline;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
174 color: grey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
175 background-color: white;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
176 border-top: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
177 border-left: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
178 border-bottom: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
179 padding: 0 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
180 cursor: pointer;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
181 /* we go down by 1px to remove bottom border from .tab_header */
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
182 margin-bottom: -1px;
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
183 }
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
184
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
185 .tab_button.clicked {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
186 /* background: lightgrey; */
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
187 color: inherit;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
188 border-bottom: none;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
189 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
190
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
191 li.tab_button:last-child {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
192 border-right: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
193 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
194
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
195 .tab_button input {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
196 display: None;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
197 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
198
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
199 .tab_button label {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
200 margin: 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
201 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
202
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
203 .tab_button input:checked + label {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
204 font-weight: bold;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
205 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
206
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
207 /*** Forms ***/
47
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
208
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
209 .form_submit {
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
210 margin: 1em auto 0;
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
211 display: block;
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
212 }
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
213
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
214 /*** XMLUI ***/
47
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
215
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
216 .xmlui_cont_vertical>* {
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
217 display: block;
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
218 box-sizing: border-box;
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
219 }
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
220
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
221 .xmlui_cont_vertical>.xmlui_widget {
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
222 width: 100%;
54
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
223 min-height: 1em;
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
224 min-width: 1px;
47
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
225 }
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
226
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
227 label.xmlui_label {
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
228 font-weight: bold;
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
229 }
54
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
230
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
231 td a {
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
232 /* we use <a> for non JS links in table
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
233 * so we don't want specific color/text-decoration by default
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
234 */
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
235 color: inherit;
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
236 text-decoration: inherit;
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
237 }
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
238
84
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
239
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
240 /*** Notifications ***/
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
241
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
242 .notification.retry {
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
243 position: fixed;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
244 top: 1rem;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
245 margin: auto;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
246 width: 80%;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
247 background: #DB1616;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
248 border: 3px solid silver;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
249 left: 10%;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
250 text-align: center;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
251 }
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
252
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
253 #retry_counter {
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
254 font-weight: bold;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
255 }
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
256
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
257 #retry_now {
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
258 color: blue;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
259 text-decoration: underline;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
260 cursor: pointer;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
261 }
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
262
73
94b04fba91c7 css (styles): use 800px as media query limit instead of 500px, should fix menu issues on some phones.
Goffi <goffi@goffi.org>
parents: 66
diff changeset
263 @media (min-width: 800px) {
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
264 html {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
265 background-size: auto;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
266 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
267
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
268 body {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
269 flex-direction: row;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
270 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
271
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
272 #main_area {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
273 overflow: auto;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
274 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
275
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
276 .box {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
277 border-radius: 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
278 box-shadow: 10px 10px 16px -5px rgba(0,0,0,0.5);
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
279 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
280
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
281 .main_menu a {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
282 display: block;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
283 padding: 2em 0;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
284 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
285
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
286 .main_menu ul {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
287 flex-direction: column;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
288 padding-left: 2em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
289 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
290 }