chore

cjl

2023-07-13 12794c2947adc40660379a30b85e99f348a23755

1
2
3
4
5
6
7
8
9
// Inline code 
code { 
  padding: 2px 4px; 
  margin: 0 4px; 
  font-size: 90%; 
  background-color: @code-bg; 
  border: 1px solid @code-border-color; 
  border-radius: @border-radius-base; 
}