1
.github-markdown .manual-toc {
5
.manual-index .manual-cards {
10
.manual-index .manual-card-wrap {
12
padding: 10px 20px 10px 0;
13
box-sizing: border-box;
16
.manual-index .manual-card-wrap > h1 {
20
padding: 0.2em 0 0.2em 0.5em;
21
border-radius: 0.1em 0.1em 0 0;
25
.manual-index .manual-card-wrap > h1 span {
29
.manual-index .manual-card {
32
border: solid 1px rgba(230, 230, 230, 0.84);
33
border-radius: 0 0 0.1em 0.1em;
38
.manual-index .manual-card > div {
39
transform: scale(0.4);
40
transform-origin: 0 0;
44
.manual-index .manual-card > a {
50
background: rgba(210, 210, 210, 0.1);
53
.manual-index .manual-card > a:hover {
57
.manual-index .manual-badge {
61
.manual-index .manual-user-index {
63
border-bottom: solid 1px #ddd;
66
.manual-root .navigation {
71
.navigation .manual-toc-root > div {
73
padding-right: 0.75em;
76
.github-markdown .manual-toc-title a {
80
.manual-breadcrumb-list {
85
.manual-toc-title a:hover {
91
list-style-type: none;
94
.navigation .manual-toc [class^="indent-h"] a {
98
.navigation .manual-toc .indent-h1 a {
104
.manual-toc .indent-h1 {
106
margin: 0.4em 0 0 0.25em;
107
padding: 0.2em 0 0.2em 0.5em;
108
border-radius: 0.1em;
111
.manual-root .navigation .manual-toc li:not(.indent-h1) {
115
.manual-toc .indent-h2 {
119
.manual-toc .indent-h3 {
123
.manual-toc .indent-h4 {
127
.manual-toc .indent-h5 {