akkartik/pensieve.love - Change EWK46OTWI2QK7ZZGYOCWWBHXHBXZQWR2FDW6LRTTKCN4K3ZFE5JAC

Created by Kartik K. Agaram on July 16, 2022

EWK46OTWI2QK7ZZGYOCWWBHXHBXZQWR2FDW6LRTTKCN4K3ZFE5JAC

main

∅:D[2.56] → [4.2454:2492]

B:BD[4.2454] → [4.2454:2492]

  Header_height = 5 + Line_height + 5

[2.56]

[4.2492]

  Padding_horizontal = 20
  -- margins are extra space inside the borders of panes

B:BD[4.5141] → [4.5141:5201]

  local x = Gutter_width + Padding_horizontal + Margin_left

[4.5141]

[4.5201]

  local x = Padding_horizontal + Margin_left

∅:D[3.348] → [4.5970:6098]

B:BD[4.5970] → [4.5970:6098]

    x = x + Margin_right + Display_settings.column_width + Padding_horizontal + Gutter_width + Padding_horizontal + Margin_left

[3.348]

[5.1660]

    x = x + Margin_right + Display_settings.column_width + Padding_horizontal + Margin_left

B:BD[7.1609] → [7.1609:1737]

    x = x + Margin_left + Display_settings.column_width + Margin_right + Padding_horizontal + Gutter_width + Padding_horizontal

[7.1609]

[7.1737]

    x = x + Margin_left + Display_settings.column_width + Margin_right + Padding_horizontal