Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
|
@@ -26,9 +26,8 @@ basecss = """
|
|
| 26 |
line-height: 1.5;
|
| 27 |
}
|
| 28 |
.extra-info-paperid {
|
| 29 |
-
font-size:
|
| 30 |
-
line-height: 1.
|
| 31 |
-
color: #222;
|
| 32 |
}"""
|
| 33 |
def get_papers():
|
| 34 |
return fs.glob(datasetdir+"*.md")
|
|
|
|
| 26 |
line-height: 1.5;
|
| 27 |
}
|
| 28 |
.extra-info-paperid {
|
| 29 |
+
font-size: 18px;
|
| 30 |
+
line-height: 1.75;
|
|
|
|
| 31 |
}"""
|
| 32 |
def get_papers():
|
| 33 |
return fs.glob(datasetdir+"*.md")
|