Mercurial > libervia-templates

annotate default/static/styles.css @ 115:5d9e2270ceb4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
blog/articles, input/navigation: moved navigation template in a dedicated macro
author Goffi <goffi@goffi.org>
date Tue, 30 Jan 2018 07:47:21 +0100
parents 92ca411ee635
children da8f1ba9034d
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 {
115
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
15
66
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
86
92ca411ee635 chat: new chat_select page to select a jid to talk to + improved button style
Goffi <goffi@goffi.org>
parents: 84
diff changeset
59 .button {
92ca411ee635 chat: new chat_select page to select a jid to talk to + improved button style
Goffi <goffi@goffi.org>
parents: 84
diff changeset
60 padding: 0.5em 1em;
92ca411ee635 chat: new chat_select page to select a jid to talk to + improved button style
Goffi <goffi@goffi.org>
parents: 84
diff changeset
61 background: #333;
92ca411ee635 chat: new chat_select page to select a jid to talk to + improved button style
Goffi <goffi@goffi.org>
parents: 84
diff changeset
62 color: #ccc;
92ca411ee635 chat: new chat_select page to select a jid to talk to + improved button style
Goffi <goffi@goffi.org>
parents: 84
diff changeset
63 border: 1px solid #555;
92ca411ee635 chat: new chat_select page to select a jid to talk to + improved button style
Goffi <goffi@goffi.org>
parents: 84
diff changeset
64 border-radius: 0.8em;
92ca411ee635 chat: new chat_select page to select a jid to talk to + improved button style
Goffi <goffi@goffi.org>
parents: 84
diff changeset
65 font-weight: bold;
92ca411ee635 chat: new chat_select page to select a jid to talk to + improved button style
Goffi <goffi@goffi.org>
parents: 84
diff changeset
66 }
92ca411ee635 chat: new chat_select page to select a jid to talk to + improved button style
Goffi <goffi@goffi.org>
parents: 84
diff changeset
67
92ca411ee635 chat: new chat_select page to select a jid to talk to + improved button style
Goffi <goffi@goffi.org>
parents: 84
diff changeset
68
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
69 .button:hover {
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
70 background-color: #bc0000;
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
71 }
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
72
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
73 /*** Messages ***/
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
74
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
75 .message_info {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
76 max-width: 500px;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
77 margin: 0 auto;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
78 padding: 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
79 text-align: justify;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
80 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
81
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
82 .message_info pre {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
83 background: #ddd;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
84 padding: 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
85 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
86
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
87 /*** Menus ***/
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
88
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
89 .menu ul {
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
90 display: flex;
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
91 padding: 0;
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
92 margin-top: 8px;
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
93 list-style: none;
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
94 }
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
95
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
96 .menu a {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
97 display: block;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
98 color: inherit;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
99 text-decoration: none;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
100 font-variant: small-caps;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
101 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
102
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
103 .main_menu {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
104 min-width: 200px;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
105 /* background-color: #eaeaea; */
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
106 background-color: #333;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
107 color: white;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
108 }
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 .main_menu ul {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
111 flex-direction: row;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
112 flex-wrap: wrap;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
113 }
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 .main_menu li {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
116 flex: 1;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
117 padding: 0;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
118 margin: 0 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
119 }
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 .main_menu a {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
122 display: inline;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
123 white-space: nowrap;
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 .main_menu a:hover {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
127 background-color: initial;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
128 text-shadow: 1px 1px 2px;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
129 font-weight: bold;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
130 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
131
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
132 .category_menu ul {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
133 justify-content: center;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
134 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
135
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
136 .category_menu li {
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
137 margin: 0.5em;
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
138 text-align: center;
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
139 }
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
140
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
141 .category_menu a {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
142 border: solid 1px;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
143 padding: 0.5em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
144 border-radius: 0.2em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
145 background: #eee;
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
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
148 /*** containers ***/
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
149
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
150 /* tabs */
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_container {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
153 max-width: 1000px;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
154 margin: 0 auto;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
155 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
156
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
157 .tab_header {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
158 background-color: white;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
159 border-bottom: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
160 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
161
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
162 .tab_header ul {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
163 display: flex;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
164 margin: 0;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
165 padding: 0;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
166 list-style: none;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
167 background-color: white;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
168 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
169
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
170 .tab_page {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
171 box-sizing: border-box;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
172 padding-top: 2em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
173 border: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
174 border-top: none;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
175 display: None;
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
176 }
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
177
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
178 .tab_page.clicked {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
179 display: block;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
180 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
181
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
182 .tab_button {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
183 display: inline;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
184 color: grey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
185 background-color: white;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
186 border-top: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
187 border-left: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
188 border-bottom: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
189 padding: 0 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
190 cursor: pointer;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
191 /* we go down by 1px to remove bottom border from .tab_header */
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
192 margin-bottom: -1px;
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
193 }
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 54
diff changeset
194
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
195 .tab_button.clicked {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
196 /* background: lightgrey; */
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
197 color: inherit;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
198 border-bottom: none;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
199 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
200
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
201 li.tab_button:last-child {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
202 border-right: 1px solid lightgrey;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
203 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
204
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
205 .tab_button input {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
206 display: None;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
207 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
208
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
209 .tab_button label {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
210 margin: 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
211 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
212
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
213 .tab_button input:checked + label {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
214 font-weight: bold;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
215 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
216
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
217 /*** Forms ***/
47
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
218
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
219 .form_submit {
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
220 margin: 1em auto 0;
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
221 display: block;
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
222 }
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
223
115
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
224 /*** Navigation ***/
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
225
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
226 .prev_next_links ul {
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
227 list-style: none;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
228 display: flex;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
229 padding: 0 2em;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
230 margin: 0;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
231 }
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
232
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
233 .prev_next_links li {
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
234 flex: 1;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
235 }
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
236
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
237 .prev_next_links li.older_items {
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
238 text-align: right;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
239 }
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
240
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
241 .prev_next_links img {
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
242 display: block;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
243 }
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
244
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
245 .prev_next_links .older_items img {
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
246 display: block;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
247 margin-left: auto;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
248 margin-right: 0;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
249 }
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
250
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
251 .prev_next_links a {
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
252 display: inline-block;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
253 margin-top: 1em;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
254 padding: 0.2em;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
255 text-decoration: None;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
256 color: inherit;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
257 font-variant: small-caps;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
258 background: rgba(200,200,200,0.6);
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
259 border-radius: 0.5em;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
260 }
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
261
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
262 .prev_next_links a:hover {
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
263 background-color: #ddd;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
264 }
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
265
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
266 /*** XMLUI ***/
47
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
267
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
268 .xmlui_cont_vertical>* {
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
269 display: block;
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
270 box-sizing: border-box;
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
271 }
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
272
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
273 .xmlui_cont_vertical>.xmlui_widget {
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
274 width: 100%;
54
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
275 min-height: 1em;
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
276 min-width: 1px;
47
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
277 }
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
278
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
279 label.xmlui_label {
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
280 font-weight: bold;
7d5cca978eeb input/xmlui: XMLUI generation first draft
Goffi <goffi@goffi.org>
parents: 39
diff changeset
281 }
54
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
282
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
283 td a {
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
284 /* we use <a> for non JS links in table
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
285 * 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
286 */
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
287 color: inherit;
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
288 text-decoration: inherit;
a5dc14675d5e login: login, logged and registration pages
Goffi <goffi@goffi.org>
parents: 47
diff changeset
289 }
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
290
84
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
291
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
292 /*** Notifications ***/
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
293
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
294 .notification.retry {
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
295 position: fixed;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
296 top: 1rem;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
297 margin: auto;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
298 width: 80%;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
299 background: #DB1616;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
300 border: 3px solid silver;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
301 left: 10%;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
302 text-align: center;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
303 }
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
304
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
305 #retry_counter {
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
306 font-weight: bold;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
307 }
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
308
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
309 #retry_now {
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
310 color: blue;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
311 text-decoration: underline;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
312 cursor: pointer;
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
313 }
b2ef34e602cf base, js (websocket), css (main style): dynamic pages implementation, first draft:
Goffi <goffi@goffi.org>
parents: 81
diff changeset
314
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
315 @media (min-width: 800px) {
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
316 html {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
317 background-size: auto;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
318 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
319
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
320 body {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
321 flex-direction: row;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
322 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
323
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
324 #main_area {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
325 overflow: auto;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
326 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
327
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
328 .box {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
329 border-radius: 1em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
330 box-shadow: 10px 10px 16px -5px rgba(0,0,0,0.5);
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
331 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
332
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
333 .main_menu a {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
334 display: block;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
335 padding: 2em 0;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
336 }
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
337
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
338 .main_menu ul {
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
339 flex-direction: column;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
340 padding-left: 2em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
341 }
115
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
342
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
343 .prev_next_links ul {
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
344 padding: 0 6em;
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
345 }
5d9e2270ceb4 blog/articles, input/navigation: moved navigation template in a dedicated macro
Goffi <goffi@goffi.org>
parents: 86
diff changeset
346
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 61
diff changeset
347 }