ranWang commited on
Commit
3f37fb9
1 Parent(s): fd87a6b

Adjust label margins

Browse files
Files changed (1) hide show
  1. app.py +2 -2
app.py CHANGED
@@ -749,7 +749,7 @@ css = """
749
  margin-bottom: 10px;
750
  border-radius: 8px;
751
  border: 1px solid rgb(229, 231, 235);
752
- padding: 15px 12px 10px 12px;
753
  position: relative;
754
  }
755
 
@@ -767,7 +767,7 @@ css = """
767
  }
768
  .problem-container-label{
769
  position: absolute;
770
- top: 3px;
771
  left: 4px;
772
  color: rgb(107, 114, 128);
773
  }
 
749
  margin-bottom: 10px;
750
  border-radius: 8px;
751
  border: 1px solid rgb(229, 231, 235);
752
+ padding: 20px 12px 10px 12px;
753
  position: relative;
754
  }
755
 
 
767
  }
768
  .problem-container-label{
769
  position: absolute;
770
+ top: 4px;
771
  left: 4px;
772
  color: rgb(107, 114, 128);
773
  }