static/style.css


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
102
103
104
105

body {
  margin: 0 1rem;
  font-family: Helvetica, Arial, sans-serif;

  --border-color: #d0d7de;
  --shade-background: #eeeeee;
}

@media (prefers-color-scheme: dark) {
  body {
    background: #0d1117;
    color: #e6edf3;
    --border-color: #30363d;
  }
  a {
    color: #4493f8;
  }
  .blob {
    background: #161b22;
  }
}

a {
  text-decoration: none;
}

body > header, .box {
  --box-padding: .5rem;

  margin: 1rem 0;
  border: 1px solid var(--border-color);
  padding: var(--box-padding);

  > header:first-child {
    margin: calc(-1 * var(--box-padding));
    margin-bottom: 0;
    padding: .5rem;
    border-bottom: 1px solid var(--border-color);
    font-weight: bold;
  }
}

footer {
  margin-top: 1rem;
  text-align: center;
}

.icon {
  height: 1lh;
  vertical-align: text-bottom;
}

.repo {
  margin-bottom: 1rem;
  font-size: 120%;
  font-weight: bold;
}

.branch {
  display: inline-block;
  margin-right: 1rem;
  padding: .2rem;
  border: 1px solid var(--border-color);
}

.description {
  margin-bottom: .2rem;
}

.count + .count {
  margin-left: 1rem;
}

pre.box {
  /* Instead of scrolling overflow for long lines, grow the box. */
  width: fit-content;
}

.overview {
  overflow-wrap: break-word;
  &.box {
    --box-padding: 1rem;
  }

  a {
    text-decoration: underline;
  }

  h1, h2 {
    border-bottom: 1px solid var(--border-color);
  }

  img {
    max-width: 100%;
  }

  code {
    background: var(--shade-background);
  }

  /* TODO Strip permalinks? */
  svg.octicon-link {
    display: none;
  }
}