static/css/extra-style.css


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

.summary{
  font-size: 115%;
  padding-top: 2rem;
}

#hamburger, #hamburger-label{
  display: none;
}

#hamburger-label{
  font-size: 180%;
  cursor: pointer;
}

.active{
  text-decoration: underline;
}

.mainheader{position: relative;}

@media (max-width: 800px){
  #hamburger-label { 
    display: inline-block; 
  }
  .navbar-contents {
    display: none;
  }
  input#hamburger:checked ~ .navbar-contents {
    display: block;
  }
}