Outer Border removal

Summary: Not in use, remove.

Reviewed By: LukeDefeo

Differential Revision: D44664459

fbshipit-source-id: 226fa7b36eea6696057f46ae482c16ca1959e099
This commit is contained in:
Lorenzo Blasa
2023-04-04 22:10:39 -07:00
committed by Facebook GitHub Bot
parent 2c12166b54
commit a419aaaf1b

View File

@@ -366,26 +366,9 @@ const NodeBorder = styled.div<{tags: Tag[]; hovered: boolean}>((props) => ({
})); }));
const longHoverDelay = 200; const longHoverDelay = 200;
const outerBorderWidth = '10px';
const outerBorderOffset = `-${outerBorderWidth}`;
const pxScaleFactorCssVar = '--pxScaleFactor'; const pxScaleFactorCssVar = '--pxScaleFactor';
const MouseThrottle = 32; const MouseThrottle = 32;
//this is the thick black border around the whole vizualization, the border goes around the content
//hence the top,left,right,botton being negative to increase its size
const OuterBorder = styled.div({
boxSizing: 'border-box',
position: 'absolute',
top: outerBorderOffset,
left: outerBorderOffset,
right: outerBorderOffset,
bottom: outerBorderOffset,
borderWidth: outerBorderWidth,
borderStyle: 'solid',
borderColor: 'black',
borderRadius: '10px',
});
function toPx(n: number) { function toPx(n: number) {
return `calc(${n}px / var(${pxScaleFactorCssVar})`; return `calc(${n}px / var(${pxScaleFactorCssVar})`;
} }