type StyleValue = number | string | number [ ] ; type StyleDeclaration = Record < string , StyleValue > ; export namespace Style { export const $circle = { strokeWidth : 1 , strokeColor : "#69F" , } ; export const $dot = { fillColor : "#69F" , strokeWidth : 1 , strokeColor : "#000" , radius : 3 , } ; export const $dotSelected = { strokeWidth : 3 , strokeColor : "red" , } ; export const $hinge = { strokeColor : '#69F' , strokeWidth : 3 , } ; export const $sheet = { strokeWidth : 0.25 , strokeColor : "#000" , } ; export const $label = { point : [ 0 , 0 ] , fillColor : 'black' , fontWeight : 'normal' , strokeWidth : 0.5 , fontSize : 14 , } ; export const $glow = { point : [ 0 , 0 ] , fontWeight : 'normal' , fillColor : 'white' , strokeWidth : 2.5 , strokeColor : 'white' , fontSize : 14 , } ; export const $edge = { strokeWidth : 2 , } ; export const $ridge = { strokeWidth : 1.25 , strokeColor : "red" , } ; export const $selection = { strokeColor : "#69f" , fillColor : "rgba(102, 153, 255, 0.2)" , } ; export const $shade = { fillColor : '#69F' , opacity : 0.3 , strokeWidth : 0 , } ; export const $junction = { strokeColor : "red" , fillColor : "red" , opacity : 0.3 , } ; export const $axisParallels = { strokeWidth : 1 , strokeColor : "green" , } ; }