dada-model/judgment.css at main · dada-lang/dada-model · GitHub

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
/* Judgment figure frames */
figure.judgment,
figure.judgment-rule,
figure.anchor {
    border: 1px solid var(--table-border-color);
    border-radius: 4px;
    margin: 1.5em 0;
    padding: 0;
    overflow: hidden;
}

figure.judgment > figcaption,
figure.judgment-rule > figcaption,
figure.anchor > figcaption {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 0.3em 0.8em;
    background: var(--table-header-bg);
    border-bottom: 1px solid var(--table-border-color);
    font-family: var(--mono-font);
    font-size: 0.85em;
    font-weight: 600;
}

figure.judgment > figcaption > a:first-child,
figure.judgment-rule > figcaption > a:first-child,
figure.anchor > figcaption > a:first-child {
    color: var(--sidebar-active);
    text-decoration: none;
}

figure.judgment > figcaption > a:first-child:hover,
figure.judgment-rule > figcaption > a:first-child:hover,
figure.anchor > figcaption > a:first-child:hover {
    text-decoration: underline;
}

a.judgment-src {
    font-size: 0.8em;
    font-weight: 400;
    text-decoration: none;
    color: var(--links);
    opacity: 0.7;
    transition: opacity 0.15s;
}

a.judgment-src:hover {
    opacity: 1;
    text-decoration: underline;
}

/* Remove extra margin from code blocks inside judgment figures */
figure.judgment pre,
figure.judgment-rule pre,
figure.anchor pre {
    margin: 0;
    border-radius: 0;
}

/* Doc comment below the code block */
figure.judgment > p,
figure.judgment-rule > p {
    padding: 0.5em 0.8em;
    margin: 0;
}