1.4 Pull request: bugfix, getters for padding and margin

* Critical bugfix regarding my change of commit 2bf94cba63, Element.findElementById() didn't work correctly
* Changed method Screen.findElementById() according to Element.findElementById()
* Getter methods for Element padding and margin