7435: Node Manager stops trying to shut down delisted cloud nodes.
[arvados.git] / doc / css / nav-list.css
1 // NAV LIST
2 // --------
3
4 .nav-list {
5   padding-left: 15px;
6   padding-right: 15px;
7   margin-bottom: 0;
8 }
9 .nav-list > li > a,
10 .nav-list .nav-header {
11   margin-left:  -15px;
12   margin-right: -15px;
13   text-shadow: 0 1px 0 rgba(255,255,255,.5);
14 }
15 .nav-list > li > a {
16   padding: 3px 15px;
17 }
18 .nav-list > .active > a,
19 .nav-list > .active > a:hover,
20 .nav-list > .active > a:focus {
21   color: white;
22   text-shadow: 0 -1px 0 rgba(0,0,0,.2);
23   background-color: rgb(66, 139, 202);
24 }
25
26 .spaced-out li {
27    padding-bottom: 1em;
28 }
29
30 .inside-list ul {
31     list-style-position: inside;
32     padding-left: 0;
33 }