web/src/index.css

body {
  margin: 0;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", "Microsoft YaHei", "Roboto", "Oxygen",
    "Ubuntu", "Cantarell", "Fira Sans", "Droid Sans", "Helvetica Neue",
    sans-serif !important;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

code {
  font-family: source-code-pro, Menlo, Monaco, Consolas, "Courier New",
    monospace;
}

.logo {
  background: url("https://cdn.casbin.org/img/logo_384x96.png");
  background-size: 108px, 33px;
  width: 108px;
  height: 27px;
  /*background: rgba(0, 0, 0, 0.2);*/
  margin: 17px 10px 16px 20px;
  float: left;
}

.ant-table.ant-table-middle .ant-table-title, .ant-table.ant-table-middle .ant-table-footer, .ant-table.ant-table-middle thead > tr > th, .ant-table.ant-table-middle tbody > tr > td {
  padding: 1px 8px !important;
}

.ant-list-sm .ant-list-item {
  padding: 2px !important;
}

.highlight-row {
  background: rgb(249,198,205);
}

.alert-row {
  background: #ffccc7;
}

/* http://react-china.org/t/topic/33846/3 */
.ant-table-header {
  scrollbar-color:transparent transparent
}
.ant-table-header::-webkit-scrollbar {
  background-color:transparent
}

.import-output {
  height: 500px;
}

.CodeMirror {
  height: 100% !important;
}

.App {
  padding: 20px;
}

.red-row {
  background: #ffccc7;
}

.yellow-row {
  background: #ffffb8;
}

.green-row {
  background: #d9f7be;
}

/*https://stackoverflow.com/questions/64961752/how-do-i-change-the-color-of-selected-menu-item-in-ant-design*/
/*.conferenceMenu > .ant-menu-item-selected {*/
/*  background-color: rgb(230,247,255) !important;*/
/*}*/

.conferenceMenu {
  background-color: rgb(242,242,242) !important;
}

.dashboard-card {
  margin: 7px !important;
}

.custom-link:hover {
  color: rgb(64 64 64) !important;
}