* { background-color: #00000000; text-color: #c6c6c6ff; highlight: bold; } window { background-color: #000000c0; padding: 2ch; } element .selected { background-color: #5e5e5ec0; } inputbar { children: [entry]; }