.pull-right[data-v-1ef4107e] {
  float: right;
}
.query-form[data-v-1ef4107e] {
  margin-bottom: 10px;
}
.page-tip[data-v-1ef4107e] {
  margin-bottom: 10px;
  padding: 10px;
  font-size: 14px;
  color: #666;
  background: #f4f8ff;
  border-radius: 4px;
  line-height: 20px;
}
.table[data-v-1ef4107e] .col-mono .cell {
  font-family: Consolas, Monaco, 'Courier New', monospace;
  font-size: 12px;
}