petra-tool / frontend / src / styles