style_content = """ | |
pre, code { | |
background-color: #272822; | |
} | |
.scrollable { | |
font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace; | |
height: 500px; | |
overflow: auto; | |
} | |
""" | |
dark_mode_gradio_js = """ | |
function refresh() { | |
const url = new URL(window.location); | |
if (url.searchParams.get('__theme') !== 'dark') { | |
url.searchParams.set('__theme', 'dark'); | |
window.location.href = url.href; | |
} | |
} | |
""" | |