mirror of
https://github.com/gradio-app/gradio.git
synced 2025-02-05 11:10:03 +08:00
removed duplicate list marker (#793)
This commit is contained in:
parent
972080a681
commit
8179770210
@ -86,6 +86,7 @@
|
||||
ol {
|
||||
list-style: auto;
|
||||
padding-inline-start: 40px;
|
||||
list-style-type: none;
|
||||
}
|
||||
</style>
|
||||
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-156449732-1"></script>
|
||||
|
Loading…
Reference in New Issue
Block a user