1/**
2* This file is for tools : usertools, pagetools, usertools, search. And tools.
3So, navbar too, and breadcrumbs.
4**/
5/*____________ Navtool ____________*/
6
7
8.navtool {
9	width: @ini_navtool_width;
10	display: flex;
11	flex-direction: column;
12	margin-top: 3.5em;
13	font-size: .875em;
14}
15
16.bartool {
17	background-color: @ini_background;
18	padding: 0 1em;
19
20		hr {
21			margin:1em 0;
22		}
23
24}
25
26/*____________ Usertools ____________*/
27/* Link to Connexion, userpage, administration, profil */
28
29.dokuwiki__tools ul, {
30        margin: 0 auto;
31        padding: 0;
32		color: @ini_link;
33
34}
35
36/* highlight selected tool */
37.mode_admin a.action.admin,
38.mode_login a.action.login,
39.mode_register a.action.register,
40.mode_profile a.action.profile,
41.mode_recent a.action.recent,
42.mode_index a.action.index,
43.mode_media a.action.media,
44.mode_revisions a.action.revs,
45.mode_backlink a.action.backlink,
46.mode_subscribe a.action.subscribe {
47    font-weight: bold;
48}
49
50/*____________ Search ____________*/
51/* juste the tool in navbar ; result search are in _search.css */
52
53.dokuwiki div.searchtool {
54    /*float: right;*/
55    /*width: 29%;*/
56}
57
58form.search {
59    display: block;
60    margin-bottom: 0.5em;
61    input {
62        padding: .35em;
63		max-width: 100%;
64    }
65
66    button {
67        background: transparent url(images/search.png) no-repeat 0 0;
68        border-width: 0;
69        width: 19px;
70        height: 14px;
71        text-indent: -99999px;
72        margin-left: -20px;
73        box-shadow: none;
74        padding: 0;
75    }
76}
77
78[dir=rtl] form.search {
79    input {
80        padding: .35em .1em .35em 22px;
81    }
82
83    button {
84        background-position: 5px 0;
85        margin-left: 0;
86        margin-right: -20px;
87        position: relative;
88    }
89}
90
91/*____________ Pagetools ____________*/
92/* Menu tools to edit, history, etc */
93
94.to_top {
95	position: fixed;
96    z-index: 101;
97    bottom: 1em;
98	background-color: @ini_background;
99	padding: 0.3em;
100
101	img {
102		max-width : 1.5em;
103	}
104
105}