html,body,#root{height:100%;margin:0}.page-card+.page-card{margin-top:16px}.muted{color:#00000073}.mono{font-family:ui-monospace,SFMono-Regular,Menlo,monospace}.table-link{font-weight:500}