Spaces:
Runtime error
Runtime error
File size: 1,907 Bytes
d2e5b38 9e5efc0 c11733c 9e5efc0 6ebc6d4 9e5efc0 d2e5b38 8565080 d2e5b38 8565080 d2e5b38 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 |
import streamlit as st
import streamlit.components.v1 as components
with open("static/header.html", 'r', encoding='utf-8') as f:
header_html = f.read()
with open("static/header_style.css", 'r', encoding='utf-8') as f:
header_style_css = f.read()
with open("static/header_animate.js") as f:
header_animate_js = f.read()
with open("static/content_style.css", 'r', encoding='utf-8') as f:
content_style_css = f.read()
with open("static/meta.html", 'r', encoding='utf-8') as f:
meta_html = f.read()
def make_header():
st.markdown('''<script>
var docs = document.getElementsByClassName("main");
for (var i = 0; i < docs.length; i++)
docs[i].style.overflow = "scroll";
alert("123");
</script>''', unsafe_allow_html=True)
components.html(f"<style>{header_style_css}</style>{header_html}<script>{header_animate_js}</script>", height=260)
st.markdown(meta_html, unsafe_allow_html=True)
st.markdown(f"<style>{content_style_css}</style>", unsafe_allow_html=True) # apply css to the rest of the document
def content_title(title: str, vspace_before: int = 0, vspace_after: int = 0):
st.markdown(f'<center><div class="padded faded demo_title" '
f'style="padding-top: {vspace_before}px; padding-bottom: {vspace_after}px; text-align: justify;">'
f'{title}</div><center>',
unsafe_allow_html=True)
def content_text(text: str, vspace_before: int = 0, vspace_after: int = 0):
st.markdown(f'<center><div class="padded faded demo_text" '
f'style="padding-top: {vspace_before}px; padding-bottom: {vspace_after}px; text-align: justify;">'
f'{text}</div><center>',
unsafe_allow_html=True)
CITATIONS = {}
def cite(tag):
CITATIONS[tag] = len(CITATIONS) + 1
return f" [{CITATIONS[tag]}]"
|