#1641: Set sizes for borders

Author: sharonyang16

src/frontend/src/pages/ChangeRequestDetailPage/OtherChangeRequestsPopupTabs.tsx

@@ -55,8 +55,8 @@ const OtherChangeRequestsPopupTabs: React.FC<OtherChangeRequestsPopupTabsProps>
         justifyContent: 'flex-start',
         padding: '20px',
         background: theme.palette.background.paper,
-        borderTop: `solid ${theme.palette.divider}`,
-        borderLeft: `solid ${theme.palette.divider}`
+        borderTop: `solid 1px ${theme.palette.divider}`,
+        borderLeft: `solid 1px ${theme.palette.divider}`
       }}
     >
       {crList.map((cr: ChangeRequest) => (
@@ -83,15 +83,15 @@ const OtherChangeRequestsPopupTabs: React.FC<OtherChangeRequestsPopupTabsProps>
           },
           '& button': {
             background: theme.palette.background.paper,
-            border: `solid ${theme.palette.divider}`,
+            border: `solid 1px ${theme.palette.divider}`,
             color: theme.palette.text.primary,
             textTransform: 'none'
           },
           '& button.Mui-selected': {
             color: theme.palette.text.primary,
             borderBottom: 'transparent'
           },
-          mb: '-1.5px'
+          mb: '-1px'
         }}
       >
         {displayTab(1, `Other CR's from ${changeRequest.submitter.firstName} ${changeRequest.submitter.lastName}`)}