summaryrefslogtreecommitdiffstats
path: root/site/style/main.sass
blob: ca24d508477a80035365abf7783604270456bb8f (plain)
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
*
  box-sizing: border-box

body, html
    width: 100%
    height: 100%
    padding: 0
    margin: 0
    font-size: 100%
    background: #29222E
    color: #E0CEED
    font-family: 'et-book', serif

h1, h2, h3, h4, h5, a[href]
    color: #68d3a7

h1, h2, h3, h4, h5
    font-family: sans-serif

h1
    text-align: center

/* 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: 3px solid #68d3a7
            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
    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

        .paragraph
            margin-top: 1em
            margin-bottom: 1em

        /* org-mode output */

        .footpara
            display: inline
            margin-left: .2em

/* 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: 3px solid #68d3a7
            border-radius: 50%
            width: 175px
            margin: auto
            margin-bottom: 3em

    h1
        color: #68d3a7
        font-size: 300%
        text-align: center

    nav dt
        font-weight: bold

        a
            color: #68d3a7

/* indexes */

.index
    dt
        font-weight: bold
        color: #68d3a7

    dd
        margin-left: 0
        margin-bottom: 1em

        ol
            margin-top: 0.3em