h1 {
    font-size: 10.2rem;
    font-weight: bold;
    margin-top: -3.5rem;
    margin-left: -1rem;
    color: #444;
}

h2 {
    margin-top: 10.8rem;
}

h1 + div.container h2 {
    margin-top: 9.6rem;
}

h2 .en {
    font-size: 2.0rem;
    letter-spacing: normal;
    color: #999;
}

h3 {
    margin-top: 8.4rem;
    margin-bottom: -2.8rem;
}

h2 + h3 {
    margin-top: 2.8rem;
}

div.paper + div.paper {
    margin-top: 3.6rem;
}

div.details {
    color: #999;
}

div.details a.material {
    background-color: #eee;
}

div.details a.material::before {
    content: "/\a0";
    color: #999;
    background-color: white;
}

div.papertitle {
    font-size: 1.9rem;
}

div.venue {
    text-align: right;
    color: #999;
}

div.papertitle {
    font-style: italic;
}

div.papertitle a {
    text-decoration: underline;
}

a {
    color: #0074d9;
}

small img {
    margin-top: -0.5rem;
    position: relative;
    top: 0.9rem;
    height: 2.3rem;
}

body {
    padding-bottom: 0.9rem;
}