{theme}: let text = "#${theme.colors.text}"; base = "#${theme.colors.base}"; surface = "#${theme.colors.surface}"; primary = "#${theme.colors.primary}"; fontSize = "${toString theme.font.size}px"; outerGap = "${toString theme.outerGap}px"; innerGap = "${toString theme.innerGap}px"; outerRadius = "${toString theme.outerRadius}px"; innerRadius = "${toString theme.innerRadius}px"; borderWidth = "${toString theme.borderWidth}px"; in '' * { font-family: ${theme.font.monospace}; font-size: ${fontSize}; } /* Window */ window { margin: 0px; border: ${borderWidth} solid ${primary}; border-radius: ${outerRadius}; background-color: ${base}; } /* Outer Box */ #outer-box { padding: ${outerGap}; } /* Scroll */ #scroll { margin: 0px; padding: ${innerGap}; border: none; } /* Input */ #input { margin: ${innerGap}; padding: ${innerGap}; border: none; color: ${text}; background-color: ${surface}; border-radius: ${outerRadius}; } #input:focus, #input:active { border: ${borderWidth} solid ${primary}; box-shadow: none; outline: none; } /* Text */ #text { margin: ${innerGap}; padding: ${innerGap}; border: none; color: ${text}; } /* Selected Entry */ #entry:selected { background-color: ${primary}; border-radius: ${outerRadius}; } #entry:selected #text { color: ${base}; } ''