.pragma library const borderColor = "#6D6D6E"; const fontColor = "#6D6D6E"; const fontColorDark = "#3D3D3D"; const fontFamily = "Metropolis"; const fontBoldFamily = "OxaniumBold"; const fontInterFamily = "InterUI"; const fontSize = 15; const fontSizeLarge = 22; const fontSizeSmall = 13; const fontSizeSmallest = 11; const fontWeightBold = 600; const iconSize = 16; const labelLineHeight = 22; const cityListTopMargin = 18; const controllerInterLineHeight = 18; const hSpacing = 20; const vSpacing = 24; const vSpacingSmall = 16; const listSpacing = 8; const maxTextWidth = 296; const windowMargin = 16; const popupMargin = 24; const desktopAppHeight = 520; const desktopAppWidth = 360; const darkFocusBorder = fontColor; const lightFocusBorder = "#d5d3e0"; const accentOff = "#af0909"; const accentConnecting = "#FFCC33"; const accentOn = "#669933"; const blue = "#0060DF"; const blueHovered = "#0250BB"; const bluePressed = "#054096"; const blueDisabled = "#a3c0f3"; const blueFocusOutline = "#4d0a84ff"; const blueFocusBorder = "#0a84ff"; const blueButton = { "defaultColor" : blue, "buttonHovered": blueHovered, "buttonPressed": bluePressed, "buttonDisabled": blueDisabled, "focusBgColor": blue, "focusOutline": blueFocusOutline, "focusBorder": blueFocusBorder, }; const buttonFontSize = 18; const buttonColor = "#eeeeee"; const bgColor = "#f3f3f3"; const fgColor = "#ffffff"; const signalGood = "green"; const signalMedium = "orange"; const signalLow = "red";