diff options
| author | Matouš Dzivjak | 2022-05-03 08:28:41 +0000 |
|---|---|---|
| committer | GitHub | 2022-05-03 08:28:41 +0000 |
| commit | d2b1add1f41c9d9a655a4637e3e276eb92e8eefb (patch) | |
| tree | 8e86ae80d1a268ab89df1fa6e29a5f32257a67ef /book/theme/highlight.css | |
| parent | 042463a4d1c6eab144b89f775d79759bd6c3df0a (diff) | |
feat(term): wrap command palette in overlay (#2378)
Looks better and is consistent with the rest, nothing else.
Diffstat (limited to 'book/theme/highlight.css')
0 files changed, 0 insertions, 0 deletions