Sync with the CSS of the Nix manual

Dependencies

• [2] 6A6CZ7SC draft manual

Change contents

• replacement in doc/manual/style.css at line 11
  [2.9913]→[2.9913:9942](∅→∅)
  − font-family: sans-serif;
  [2.9913]

  [2.9942]
  + font-family: "Nimbus Sans L", sans-serif;
• replacement in doc/manual/style.css at line 16
  [2.9997]→[2.9997:10006](∅→∅)
  − h1,h2,h3
  [2.9997]

  [2.10006]
  + h1, h2, h3, h4
• edit in doc/manual/style.css at line 19
  [2.10028]→[2.10028:10050](∅→∅)
  − text-align: left;
• replacement in doc/manual/style.css at line 77
  [2.10939]→[2.10939:10970](∅→∅)
  − border: 1px solid #6185a0;
  [2.10939]

  [2.10970]
  + border: 1px solid #b0b0b0;
• edit in doc/manual/style.css at line 82
  [2.11066]

  [2.11066]
  + border-radius: 0.4em;

  + box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
• edit in doc/manual/style.css at line 89
  [2.11112]

  [2.11112]
  + }

  +

  + div.example pre

  + {

  + box-shadow: none;
• replacement in doc/manual/style.css at line 103
  [2.11347]→[2.11347:11378](∅→∅)
  − border: 1px solid #6185a0;
  [2.11347]

  [2.11378]
  + border: 1px solid #b0b0b0;
• replacement in doc/manual/style.css at line 110
  [2.11522]→[2.11522:11548](∅→∅)
  − /* font-size: 90%; */
  [2.11522]

  [2.11548]
  + border-radius: 0.4em;

  + box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
• replacement in doc/manual/style.css at line 128
  [2.11870]→[2.11870:11901](∅→∅)
  − border: 1px solid #6185a0;
  [2.11870]

  [2.11901]
  + border: 1px solid #b0b0b0;
• edit in doc/manual/style.css at line 135
  [2.12059]

  [2.12059]
  + border-radius: 0.4em;

  + box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
• edit in doc/manual/style.css at line 148
  [2.12180]→[2.12180:12203](∅→∅)
  − // margin: 0 0 0 0;
• edit in doc/manual/style.css at line 178
  [2.12679]

  [2.12679]
  + a { text-decoration: none; }

  + a:hover { text-decoration: underline; }
• edit in doc/manual/style.css at line 182
  [2.12736]→[2.12736:12769](∅→∅)
  − a:hover { background: #ffffcd; }
• replacement in doc/manual/style.css at line 188
  [2.12976]→[2.12976:12981](∅→∅)
  − .toc
  [2.12976]

  [2.12981]
  + div.toc
• edit in doc/manual/style.css at line 193
  [2.13006]

  [2.13006]
  + div.toc dl

  + {

  + margin-top: 0em;

  + margin-bottom: 0em;

  + }
• edit in doc/manual/style.css at line 226
  [2.13438]→[2.13438:13476](∅→∅)
  − {

  − font-style: italic;

  − }

  −

  − .default
• edit in doc/manual/style.css at line 230
  [2.13505]→[2.13505:13548](∅→∅)
  − .availability

  − {

  − font-style: italic;

  − }

  −
• edit in doc/manual/style.css at line 234
  [2.13581]→[2.13581:13582](∅→∅)
  −
• replacement in doc/manual/style.css at line 235
  [2.13583]→[2.13583:13607](∅→∅)
  − div.informaltable table
  [2.13583]

  [2.13607]
  + span.command strong
• replacement in doc/manual/style.css at line 237
  [2.13609]→[2.13609:13653](∅→∅)
  − border: 1px solid #6185a0;

  − width: 100%;
  [2.13609]

  [2.13653]
  + font-weight: normal;

  + color: #400000;
• replacement in doc/manual/style.css at line 241
  [2.13656]→[2.13656:13677](∅→∅)
  − div.informaltable td
  [2.13656]

  [2.13677]
  + div.calloutlist table
• replacement in doc/manual/style.css at line 243
  [2.13679]→[2.13679:13708](∅→∅)
  − border: 0;

  − padding: 5px;
  [2.13679]

  [2.13708]
  + box-shadow: none;
• replacement in doc/manual/style.css at line 246
  [2.13711]→[2.13711:13740](∅→∅)
  − div.informaltable td.default
  [2.13711]

  [2.13740]
  + table
• replacement in doc/manual/style.css at line 248
  [2.13742]→[2.13742:14010](∅→∅)
  − text-align: right;

  − }

  −

  − div.informaltable th

  − {

  − text-align: left;

  − color: #005aa0;

  − border: 0;

  − padding: 5px;

  − background: #fffff5;

  − font-weight: normal;

  − font-style: italic;

  − }

  −

  − td.varname, td.tagname, td.paramname

  − {

  − font-weight: bold;

  − vertical-align: top;
  [2.13742]

  [2.14010]
  + border-collapse: collapse;

  + box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
• replacement in doc/manual/style.css at line 252
  [2.14013]→[2.14013:14026](∅→∅)
  − div.epigraph
  [2.14013]

  [2.14026]
  + div.affiliation
• replacement in doc/manual/style.css at line 255
  [2.14052]→[2.14052:14322](∅→∅)
  − text-align: right;

  − }

  −

  − table.productionset table.productionset

  − {

  − font-family: monospace;

  − }

  −

  − strong.command

  − {

  − // font-family: monospace;

  − // font-style: italic;

  − // font-weight: normal;

  − color: #400000;

  − }

  −

  − div.calloutlist td

  − {

  − padding-bottom: 1em;

  − }
  [2.14052]
  + }