ui(resources): slightly tweak styles

This commit is contained in:
Jean-Philippe Sirois
2019-09-17 03:02:49 -04:00
parent 5f8764444f
commit f526716831
+8 -6
View File
@@ -41,8 +41,8 @@ export const Children = styled.div`
export const Label = styled.div` export const Label = styled.div`
user-select: none; user-select: none;
position: relative; position: relative;
padding: 8px 0 4px; padding: 8px 0 0;
margin-bottom: 2px; margin-bottom: 6px;
cursor: pointer; cursor: pointer;
display: flex; display: flex;
align-items: center; align-items: center;
@@ -57,8 +57,8 @@ export const Label = styled.div`
svg { svg {
position: absolute; position: absolute;
right: 100%; right: 100%;
margin-right: 4px; margin-right: 5px;
width: 10px; width: 7px;
} }
` `
@@ -115,7 +115,8 @@ export const TreeWrapper = styled.div<{ collapsed: boolean }>`
} }
& + & { & + & {
border-top: 1px solid #dbdbdb; border-top: 1px solid
${props => transparentize(0.8, props.theme.sidebar.foreground)};
} }
${Children} { ${Children} {
@@ -136,7 +137,8 @@ export const Inner = styled.div`
export const PageLink = styled(Link)` export const PageLink = styled(Link)`
display: block; display: block;
padding: 4px 0; padding: 4px 0 0;
margin-bottom: 4px;
color: ${props => props.theme.sidebar.foreground}; color: ${props => props.theme.sidebar.foreground};
align-self: flex-start; align-self: flex-start;
text-decoration: none; text-decoration: none;