2017-12-26 21:07:14 +03:00
|
|
|
import {StyleSheet} from 'aphrodite'
|
2017-12-30 05:15:12 +03:00
|
|
|
import { FontFamily, FontSize, Colors } from './style'
|
2017-12-26 21:07:14 +03:00
|
|
|
|
|
|
|
const HOVERTIP_PADDING = 2
|
|
|
|
|
|
|
|
export namespace Sizes {
|
2017-12-27 00:41:13 +03:00
|
|
|
export const MINIMAP_HEIGHT = 100
|
2017-12-26 21:07:14 +03:00
|
|
|
export const TOOLTIP_WIDTH_MAX = 300
|
|
|
|
export const TOOLTIP_HEIGHT_MAX = 75
|
2017-12-27 02:02:00 +03:00
|
|
|
export const SEPARATOR_HEIGHT = 2
|
2017-12-30 06:07:41 +03:00
|
|
|
export const FRAME_HEIGHT = 16
|
2017-12-26 21:07:14 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
export const style = StyleSheet.create({
|
|
|
|
hoverTip: {
|
|
|
|
position: 'absolute',
|
|
|
|
background: 'white',
|
|
|
|
border: '1px solid black',
|
|
|
|
maxWidth: Sizes.TOOLTIP_WIDTH_MAX,
|
|
|
|
paddingTop: HOVERTIP_PADDING,
|
|
|
|
paddingBottom: HOVERTIP_PADDING,
|
|
|
|
pointerEvents: 'none',
|
|
|
|
userSelect: 'none',
|
|
|
|
fontSize: FontSize.LABEL,
|
|
|
|
fontFamily: FontFamily.MONOSPACE
|
|
|
|
},
|
|
|
|
hoverTipRow: {
|
|
|
|
textOverflow: 'ellipsis',
|
|
|
|
whiteSpace: 'nowrap',
|
2017-12-30 06:07:27 +03:00
|
|
|
overflowX: 'hidden',
|
2017-12-26 21:07:14 +03:00
|
|
|
paddingLeft: HOVERTIP_PADDING,
|
|
|
|
paddingRight: HOVERTIP_PADDING,
|
|
|
|
maxWidth: Sizes.TOOLTIP_WIDTH_MAX,
|
|
|
|
},
|
2017-12-30 05:15:12 +03:00
|
|
|
hoverCount: {
|
|
|
|
color: '#6FCF97'
|
|
|
|
},
|
2017-12-26 21:07:14 +03:00
|
|
|
clip: {
|
|
|
|
overflow: 'hidden'
|
|
|
|
},
|
2017-12-30 04:44:40 +03:00
|
|
|
vbox: {
|
|
|
|
display: 'flex',
|
|
|
|
flexDirection: 'column',
|
|
|
|
position: 'relative',
|
|
|
|
},
|
2017-12-26 21:07:14 +03:00
|
|
|
fill: {
|
|
|
|
width: '100%',
|
|
|
|
height: '100%',
|
|
|
|
position: 'absolute',
|
|
|
|
left: 0,
|
|
|
|
top: 0
|
|
|
|
},
|
|
|
|
minimap: {
|
|
|
|
height: Sizes.MINIMAP_HEIGHT,
|
2017-12-27 02:02:00 +03:00
|
|
|
borderBottom: `${Sizes.SEPARATOR_HEIGHT}px solid ${Colors.MEDIUM_GRAY}`
|
2017-12-26 21:07:14 +03:00
|
|
|
},
|
|
|
|
panZoomView: {
|
2017-12-30 04:44:40 +03:00
|
|
|
flex: 1
|
2017-12-26 21:07:14 +03:00
|
|
|
},
|
|
|
|
});
|