Как я могу применить жирный шрифт Hack к Jumpyterlab? - PullRequest
Новая
       38

Как я могу применить жирный шрифт Hack к Jumpyterlab?

0 голосов
/ 21 июня 2019

вот мой редактор расширенных настроек -> Записная книжка 

{
    // Notebook
    // @jupyterlab/notebook-extension:tracker
    // Notebook settings.
    // **************************************

    // Code Cell Configuration
    // The configuration for all code cells.
    "codeCellConfig": {
      "autoClosingBrackets": true,
      "fontFamily": "Hack Bold",
      "fontSize": 20,
      "lineHeight": null,
      "lineNumbers": true,
      "lineWrap": "off",
      "matchBrackets": true,
      "readOnly": false,
      "insertSpaces": true,
      "tabSize": 4,
      "wordWrapColumn": 80
    },

    // Markdown Cell Configuration
    // The configuration for all markdown cells.
    "markdownCellConfig": {
      "autoClosingBrackets": false,
      "fontFamily": "Hack Bold",
      "fontSize": 20,
      "lineHeight": null,
      "lineNumbers": true,
      "lineWrap": "on",
      "matchBrackets": false,
      "readOnly": false,
      "insertSpaces": true,
      "tabSize": 4,
      "wordWrapColumn": 80
    },

    // Raw Cell Configuration
    // The configuration for all raw cells.
    "rawCellConfig": {
      "autoClosingBrackets": false,
      "fontFamily": "Hack Bold",
      "fontSize": 20,
      "lineHeight": null,
      "lineNumbers": true,
      "lineWrap": "on",
      "matchBrackets": false,
      "readOnly": false,
      "insertSpaces": true,
      "tabSize": 4,
      "wordWrapColumn": 80
    }
}

, если я использую fontFamily до "Hack", то это работает

, но Hack Bold, Hack-Bold, Hack_Bold не работает

Настройка связи в CSS известна как fontWeight, но в Jupiter Lab нет элемента fontWeight.Я думаю, что мы должны установить его на fontFamily, но я не знаю, что делать.

как я могу использовать жирный шрифт?

...