File: mobile.css

package info (click to toggle)
libvirt 5.6.0-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 240,844 kB
  • sloc: ansic: 584,521; xml: 176,725; sh: 9,912; python: 4,731; perl: 4,343; makefile: 3,321; ml: 465
file content (101 lines) | stat: -rw-r--r-- 1,708 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
@media (max-width: 1000px) {
    #home {
	width: 100%;
	display: block;
	margin: 0px;
	background: white url(logos/logo-banner-dark-256.png) no-repeat center center;
	height: 94px;
    }
    #home a {
	width: 100%;
    }
    #search {
	width: 100%;
	display: block;
	margin: 0px;
	background: white;
	padding: 0px;
	height: 2em;
    }
    #search form {
	padding: 5px;
    }
    body.index h1 {
	display: none;
    }
    #jumplinks {
	padding: 0px;
	display: block;
	width: 100%;
	text-align: center;
	margin: 0px;
	height: 1.3em;
	font-size: 1em;
	border-top: 3px solid rgb(60, 133, 124);
	border-bottom: 3px solid rgb(60, 133, 124);
    }
    #jumplinks ul {
	display: block;
	padding: 0px;
	margin: 0px;
    }
    #jumplinks li {
	margin: 0px;
	padding-left: 0.5em;
	padding-right: 0.5em;
    }
    #nav {
	border: 0px;
    }

    #search.navhide {
	display: none !IMPORTANT;
    }
    #home.navhide {
	position: fixed;
	top: 0px;
	z-index: 9001;
	width: 6em;
	display: block;
	margin: 0px;
	background: inherit;
	height: 1.3em;
	border-top: 3px solid rgb(60, 133, 124);
	border-bottom: 3px solid rgb(60, 133, 124);
	font-size: 1em;
	text-indent: 0px;
	font-weight: bold;
	padding-left: 1em;
    }
    #home.navhide a {
	color: white;
	text-decoration: none;
    }
    #home.navhide a:hover {
	color: rgb(255, 230, 0);
    }
    #jumplinks.navhide {
	position: fixed;
	text-align: right;
	top: 0px;
	z-index: 9000;
	background: rgb(0, 95, 97);
    }
    #jumplinks.navhide ul {
	z-index: 9001;
    }
    #body {
	margin-top: 180px;
    }
    div.panel {
	width: 80%;
	float: none;
	margin-bottom: 2em;
    }
    #advancedsearch {
	margin-top: 4em;
	border: 0px;
	background: white;
	color: black;
    }
}