diff --git a/ANDROID-DEV.md b/ANDROID-DEV.md
index 198f5baac..c282bd82b 100644
--- a/ANDROID-DEV.md
+++ b/ANDROID-DEV.md
@@ -476,7 +476,7 @@ https://github.com/wheremyfoodat/Panda3DS/releases
 The Pizza Boy GBA/A and Pizza Boy GBC/C emulators can be installed from the Play store. There are Basic (free) versions and Pro (paid) versions available.
 As of writing this, the Basic version of the GBA emulator does not seem to be able to launch games from ES-DE, but the Pro version is working fine. Both the Basic and Pro versions of the GBC emulator are working correctly.
 
-Pizza Boy SC Pro can also be installed from the Play store, but note that this emulator can't launch zipped games.
+Pizza Boy SC Pro can also be installed from the Play store.
 
 https://play.google.com/store/apps/details?id=it.dbtecno.pizzaboygba \
 https://play.google.com/store/apps/details?id=it.dbtecno.pizzaboygbapro \
diff --git a/CHANGELOG.md b/CHANGELOG.md
index e7ccef430..ef112424f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -16,6 +16,7 @@
 * (Android) Changed the target SDK version to 35 (Android 15)
 * Refactored the helpsystem code and added support for using an arbitrary amount of helpsystem elements
 * Added support for specifying which specific entries to display for the helpsystem elements
+* Added "imageSize", "imageMaxSize", "imageCropSize" and "imageCropPos" properties to the video element
 * (macOS) Added a build script for cross-compiling for x86_64 when using an ARM processor
 * Added support for building against libgit2 v1.9.0 and later
 
diff --git a/THEMES-DEV.md b/THEMES-DEV.md
index 5d2334d92..7f702c996 100644
--- a/THEMES-DEV.md
+++ b/THEMES-DEV.md
@@ -2571,6 +2571,23 @@ Properties:
     - Minimum value per axis is `0` and maximum value per axis is `1`
     - Default is `0.5 0.5` (texture is centered)
     - This property can only be used if `cropSize` is used.
+* `imageSize` - type: NORMALIZED_PAIR
+    - This property works exactly the same as `size` but applies only to the static image.
+    - Minimum value per axis is `0.01` and maximum value per axis is `2`. If specifying a value outside the allowed range then no attempt will be made to preserve the aspect ratio.
+    - Default is the same value as `size`
+* `imageMaxSize` - type: NORMALIZED_PAIR
+    - This property works exactly the same as `maxSize` but applies only to the static image.
+    - Minimum value per axis is `0.01` and maximum value per axis is `2`
+    - Default is the same value as `maxSize`
+* `imageCropSize` - type: NORMALIZED_PAIR
+     - This property works exactly the same as `cropSize` but applies only to the static image.
+    - Minimum value per axis is `0.01` and maximum value per axis is `2`
+    - Default is the same value as `cropSize`
+* `imageCropPos` - type: NORMALIZED_PAIR
+    - If the static image has been cropped using `imageCropSize` then this property makes it possible to position the texture within the cropped area. The first value of the pair is the X axis where `0` means align to the left and `1` means align to the right, and the second value of the pair is the Y axis where `0` means align on top and `1` means align at the bottom. Any arbitrary floating point values between 0 and 1 can be used for granular positioning.
+    - Minimum value per axis is `0` and maximum value per axis is `1`
+    - Default is `0.5 0.5` (texture is centered)
+    - This property can only be used if `imageCropSize` is used.
 * `origin` - type: NORMALIZED_PAIR
     - Where on the element `pos` refers to. For example, an origin of `0.5 0.5` and a `pos` of `0.5 0.5` would place the element exactly in the middle of the screen. If the position and size attributes are themeable, origin is implied.
     - Minimum value per axis is `0` and maximum value per axis is `1`