From fa3e729c8719d7393b669891c9801401858467a8 Mon Sep 17 00:00:00 2001
From: Claudio Santambrogio <csant@csant.info>
Date: Fri, 30 Jun 2023 10:31:27 +0200
Subject: [PATCH] Also padding and border values are supported by the Box
 Tracking API.

---
 docs/javascript.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/docs/javascript.md b/docs/javascript.md
index 98ff4eb..6558ea1 100644
--- a/docs/javascript.md
+++ b/docs/javascript.md
@@ -271,10 +271,20 @@ The [`PDF.pages`](js-support.md#window.PDF.pages) array mentioned earlier (see [
     baseline =      the y-coordinate of the baseline of the box,
                     ie. the line that the text rests on, in pt -
                     applies only to inline boxes
+
     marginTop
     marginRight
     marginBottom
     marginLeft =    the used values for margins
+    paddingTop
+    paddingRight
+    paddingBottom
+    paddingLeft =   the used values for paddings
+    borderTop
+    borderRight
+    borderBottom
+    borderLeft =    the used values for borders
+
     floatPosition = "TOP" | "BOTTOM"
     children =      array of child boxes
     parent =        parent box