A text editor implemented with JavaFX + CSS