#+END_SRC
* Main SASS File
#+BEGIN_SRC sass :tangle site/style/main.sass
*
box-sizing : border-box
html
width : 100%
font-size : 100%
body
font-family : 'et-book', serif
padding : 2rem
main p,
main h1,
main h2,
main h3,
main h4,
main h5,
main h6,
main ul,
main dl,
main ol,
header,
footer
max-width : 35rem
line-height : 140%
header ul,
footer p
font-size : 90%
header ul
padding : 0
margin : 0
list-style-type : none
display : flex
gap : 1rem
main
padding-top : 2rem
padding-bottom : 2rem
footer img
border-radius : 100%
max-width : 7rem
float : right
margin-left : 1rem
margin-bottom : 1rem
pre
overflow-x : auto
code,
tt,
pre
font-family : 'Fira Code', monospace
font-size : 80%
line-height : 140%
@import plugins
@import org
@import coq
#+END_SRC