docs + various polish

Jacky Zhao

2023-07-10 08f8e3b4a4879dd7c91c16fbce80c4f2bc5e357f

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
.backlinks {
  & > h3 {
    font-size: 1rem;
    margin: 0;
  }
 
  & > ul {
    list-style: none;
    padding: 0;
    margin: 0.5rem 0;
 
    & > li {
      & > a {
        background-color: transparent;
      }
    }
  }
}