diff --git a/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLElement.java b/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLElement.java
index 30e172de5..f68b58bdd 100644
--- a/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLElement.java
+++ b/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLElement.java
@@ -117,6 +117,12 @@ public interface HTMLElement extends Element, ElementCSSInlineStyle, EventTarget
     @JSProperty
     int getOffsetHeight();
 
+    @JSProperty
+    int getOffsetTop();
+
+    @JSProperty
+    int getOffsetLeft();
+
     @JSProperty
     @Override
     HTMLDocument getOwnerDocument();