prometheus

1
/* This file contains styles that are applied to root document, which cannot be
2
   nested under theme selectors. */
3

4
html {
5
  /* https://github.com/prometheus/prometheus/issues/7434 */
6
  /* Scroll to hash-fragment-links counting the fixed navbar 40px tall with 16px padding */
7
  scroll-padding-top: 56px;
8
}
9

10
/* Font used for autocompletion item icons. */
11
@font-face {
12
  font-family: 'codicon';
13
  src: local('codicon'), url(../fonts/codicon.ttf) format('truetype');
14
}
15