Adopt a literate programming for `main.sass'

1 files changed, 0 insertions, 174 deletions

diff --git a/site/style/main.sass b/site/style/main.sass
deleted file mode 100644
index 82eb34d..0000000
--- a/site/style/main.sass
+++ /dev/null
@@ -1,174 +0,0 @@
-$bg-color: #fcfcfc
-$fg-color: #333
-$primary-color: black
-
-*
-  box-sizing: border-box
-
-body, html
-    width: 100%
-    height: 100%
-    padding: 0
-    margin: 0
-    font-size: 100%
-    background: $bg-color
-    color: $fg-color
-    font-family: 'et-book', serif
-
-h1, h2, h3, h4, h5, a[href]
-    color: $primary-color
-
-h1, h2, h3, h4, h5
-    font-family: sans-serif
-
-h1
-    text-align: center
-
-a[href] .url-mark
-    font-size: smaller;
-    padding-left: 0.2em
-
-/* default */
-
-body#default
-    overflow-x: hidden
-
-    nav
-        padding-top: 1em
-        padding-bottom: 1em
-        width: 100%
-
-        ul
-            padding: 0
-            margin: 0
-            width: 100%
-            display: flex
-            flex-direction: row
-            justify-content: center
-            list-style-type: none
-
-        li
-            padding-left: .5em
-            padding-right: .5em
-            text-transform: uppercase
-            font-family: sans-serif
-            font-size: 130%
-            font-weight: bold
-
-            a
-                text-decoration: none
-
-    header
-        text-align: center
-
-        img
-            text-align: center
-            border-radius: 50%
-            width: 125px
-
-    main
-        max-width: 550px
-        margin: auto
-        padding: 0em 1em 1em 1em
-        font-size: 130%
-
-body#default main .code, code, pre, .inlinecode, tt
-    font-family: 'Fira Code', monospace
-    font-size: 75%
-
-
-body#default
-    main
-        /* coqdoc output */
-        div.code
-            white-space: nowrap
-            overflow-x: visible
-
-        .code a[href]
-            text-decoration: none
-
-            .fa-external-link
-              display: none
-
-        .paragraph
-            margin-top: 1em
-            margin-bottom: 1em
-
-        /* org-mode output */
-        .footpara
-            display: inline
-            margin-left: .2em
-
-        .section-number-2:after, .section-number-3:after, .section-number-4:after
-            content: ". "
-
-
-/* VCARD (index.html) */
-body#vcard
-    display: flex
-    align-items: center
-    flex-direction: column
-    font-size: 125%
-
-    article
-        max-width: 400px
-        width: 80%
-        margin: auto
-
-        img
-            display: block
-            border-radius: 50%
-            width: 175px
-            margin: auto
-            margin-bottom: 3em
-
-    h1
-        color: $primary-color
-        font-size: 300%
-        text-align: center
-
-    nav dt
-        font-weight: bold
-
-        a
-            color: $primary-color
-
-/* indexes */
-
-.index
-    dt
-        font-weight: bold
-        color: $primary-color
-
-    dd
-        margin-left: 0
-        margin-bottom: 1em
-
-        ol
-            margin-top: 0.3em
-
-#history
-  summary
-    color: $primary-color
-    font-weight: bold
-
-  table
-    border-top: 2px solid $primary-color
-    border-bottom: 2px solid $primary-color
-    border-collapse: collapse;
-
-  td
-    border-bottom: 1px solid $primary-color
-    padding: .5em
-    vertical-align: top
-
-  td.commit
-    font-size: smaller
-
-  td.commit
-    font-family: 'Fira Code', monospace
-    font-size: 80%
-    white-space: nowrap;
-
-.imath
-  font-size: smaller
\ No newline at end of file