Migrate CSS units from `px` to `rem`

finchie

Nov 20, 2023, 10:00 AM

6FCKC6PDRYLFSEY5B22CBABMGQ2KP6MWOEITWJLJWPHRNQ563SPAC

Dependencies

• [2] MT5RA7VY Increase sidebar density
• [3] LEJN3E4Q Generate more semantic HTML
• [4] ALCCL4VK Create basic styling
• [5] A4E5KLI2 Turn arguments into sidebar
• [*] C73UJ7ZY Create simple `xilem_html` demo

Change contents

• replacement in index.html at line 6
  [2.494]→[2.494:531](∅→∅)
  − --section-padding: 10px;
  [2.494]

  [2.531]
  + --section-padding: 0.5rem;
• replacement in index.html at line 40
  [3.895]→[2.725:755](∅→∅),[2.755]→[3.895:997](∅→∅),[3.895]→[3.895:997](∅→∅)
  − margin-top: 10px;

  − margin-left: 0px;

  − padding-left: 5px;

  − border-left: 3px solid #ccc;
  [3.895]

  [3.997]
  + margin-top: 0.5rem;

  + margin-left: 0rem;

  + padding-left: 0.2rem;

  + border-left: 0.3rem solid #ccc;
• replacement in index.html at line 54
  [2.828]→[2.828:860](∅→∅)
  − margin-bottom: 5px;
  [2.828]

  [3.1120]
  + margin-bottom: 0.2rem;
• replacement in index.html at line 59
  [2.887]→[2.887:948](∅→∅)
  − margin-top: 2px;

  − margin-bottom: 0px;
  [2.887]

  [2.948]
  + margin-top: 0.1rem;

  + margin-bottom: 0rem;