1/**
2* This file provide specific styles for some plugin (childpages, translation,
3* wrap, etc.).
4**/
5
6/*____________ Translation ____________*/
7/* some stuff on mobile.less too */
8
9.plugin_translation {
10	/*display: inline;*/
11}
12.dokuwiki div.plugin_translation {
13	margin: 0 ;
14	float: none;
15	text-align: inherit;
16	/*margin-bottom: 1em;
17	display:flex;
18	flex-direction: column;*/
19}
20
21.dokuwiki div.plugin_translation ul li a.wikilink1:link, .dokuwiki div.plugin_translation ul li a.wikilink1:hover, .dokuwiki div.plugin_translation ul li a.wikilink1:active, .dokuwiki div.plugin_translation ul li a.wikilink1:visited {
22	background-color: inherit;
23	color: @ini_link;
24	text-decoration: underline dotted;
25}
26
27.dokuwiki div.plugin_translation ul li a.wikilink2:link, .dokuwiki div.plugin_translation ul li a.wikilink2:hover, .dokuwiki div.plugin_translation ul li a.wikilink2:active, .dokuwiki div.plugin_translation ul li a.wikilink2:visited {
28	text-decoration: none;
29	border-bottom: 1px dashed !important;
30	color: @ini_link2;
31    background-color: inherit;
32}
33
34.dokuwiki div.plugin_translation select.wikilink1, .dokuwiki div.plugin_translation option.wikilink1 {
35	color: @ini_link;
36}
37.dokuwiki div.plugin_translation select, .dokuwiki div.plugin_translation input {
38	background-color: @ini_neutral4;
39}
40
41.kh_translate {
42	display: flex;
43	align-items: center;
44	height:1em;
45	margin-bottom: 0.5em;
46}
47
48/*____________ Config manager ____________*/
49#config__manager fieldset {
50  background-color: @ini_background;
51}
52
53/*____________ Pagelist ____________*/
54
55div.dokuwiki th.page,
56div.dokuwiki th.date,
57div.dokuwiki th.user,
58div.dokuwiki th.desc,
59div.dokuwiki th.comments,
60div.dokuwiki th.linkbacks,
61div.dokuwiki th.tags,
62div.dokuwiki th.diff,
63div.dokuwiki td.date,
64div.dokuwiki td.user,
65div.dokuwiki td.desc,
66div.dokuwiki td.comments,
67div.dokuwiki td.linkbacks,
68div.dokuwiki td.tags,
69div.dokuwiki td.diff {
70  font-size: 95% !important ;
71}
72
73/*____________ Wrap ____________*/
74/* some stuff on mobile.less too */
75/* basic box */
76.dokuwiki .wrap_box {
77	background: #d1c7ff !important;
78}
79/* Never round box... But Outset ! */
80.dokuwiki div.wrap_round {
81	border-radius: inherit !important;
82	border: outset #d1c7ff;
83}
84
85/*____________ Blog ____________*/
86/* Don't underline when it's a title... */
87.plugin_include_content h1 a, .plugin_include_content h2 a, .plugin_include_content h3 a, .plugin_include_content h4 a {
88        text-decoration: inherit;
89}
90