body {
    letter-spacing: 0.05rem;
    font-family: Rubik, "Helvetica Neue", Helvetica, Arial, sans-serif;
}

#notify {
    position: fixed;
    top: 0;
    left: 0;
    margin: 20px;
    z-index: 1000;
    font-size: 0.9em;
    width: 300px;
}

#notify .notification {
    padding: 0.7rem;
}

.select {
    margin-right: 0.5rem;
    margin-bottom: 1rem;
}

.button {
    margin-left: 0;
    font-weight: bold;
    letter-spacing: 0.05rem;
}

.title {
    font-weight: 500;
    font-size: 2.5rem;
    letter-spacing: 0.15rem;
}
pre {
    display: block;
    margin: 1rem 0;
}

section.section {
    padding-top: 2rem;
}

ol {
    padding-left: 1.5rem;
    margin-bottom: 2rem;
}

h2 {
    margin-bottom: 1rem;
}

p {
    margin-bottom: 1rem;
    padding-bottom: 1rem;
}

#notify p {
    margin-bottom: 0;
    padding-bottom: 0;
}

a {
    color: #000;
}