decred.org/dcrdex@v1.0.5/client/webserver/site/src/css/typography.scss (about)

     1  $sans: "source-sans", sans-serif;
     2  $demi-sans: "demi-sans", sans-serif;
     3  $mono: "mono", monospace;
     4  
     5  /* fonts */
     6  @font-face {
     7    font-family: "source-sans";
     8    src:
     9      url("/font/source-sans-pro-v9-latin-regular.woff") format("woff"),
    10      url("/font/source-sans-pro-v9-latin-regular.svg") format("svg");
    11    font-weight: normal;
    12    font-style: normal;
    13  }
    14  
    15  /* fonts */
    16  @font-face {
    17    font-family: "demi-sans";
    18    src:
    19      url("/font/source-sans-pro-semibold.woff") format("woff"),
    20      url("/font/source-sans-pro-semibold.svg") format("svg");
    21    font-weight: bolder;
    22    font-style: normal;
    23  }
    24  
    25  @font-face {
    26    font-family: "mono";
    27    src:
    28      url("/font/inconsolata-v15-latin-regular.woff") format("woff"),
    29      url("/font/inconsolata-v15-latin-regular.svg") format("svg");
    30    font-weight: normal;
    31    font-style: normal;
    32  }
    33  
    34  .fs8 {
    35    font-size: 8px;
    36  }
    37  
    38  .fs10 {
    39    font-size: 10px;
    40  }
    41  
    42  .fs11 {
    43    font-size: 11px;
    44  }
    45  
    46  .fs12 {
    47    font-size: 12px;
    48  }
    49  
    50  .fs13 {
    51    font-size: 13px;
    52  }
    53  
    54  .fs14 {
    55    font-size: 14px;
    56  }
    57  
    58  .fs15 {
    59    font-size: 15px;
    60  }
    61  
    62  .fs16 {
    63    font-size: 16px;
    64  }
    65  
    66  .fs17 {
    67    font-size: 17px;
    68  }
    69  
    70  .fs18 {
    71    font-size: 18px;
    72  }
    73  
    74  .fs20 {
    75    font-size: 20px;
    76  }
    77  
    78  .fs22 {
    79    font-size: 22px;
    80  }
    81  
    82  .fs24 {
    83    font-size: 24px;
    84  }
    85  
    86  .fs26 {
    87    font-size: 24px;
    88  }
    89  
    90  .fs28 {
    91    font-size: 28px;
    92  }
    93  
    94  .fs32 {
    95    font-size: 32px;
    96  }
    97  
    98  .fs35 {
    99    font-size: 35px;
   100  }
   101  
   102  .fs50 {
   103    font-size: 50px;
   104  }
   105  
   106  .demi {
   107    font-family: $demi-sans;
   108  }
   109  
   110  .mono {
   111    font-family: $mono;
   112  }
   113  
   114  .sans {
   115    font-family: $sans;
   116  }
   117  
   118  .bold {
   119    font-weight: bold;
   120  }