7 font-family: "Liberation Sans", "Arial", sans-serif
;
17 /* Header and Footer */
19 #aminb { font-size: 0.9em; }
29 #preamble { padding: 2em 1em 0em 1em; }
31 #preamble h2
{ display: inline
; }
33 #preamble a
{ border: none
!important
; color: #888 !important
; }
35 #preamble h2 a
{ color: #3a89c9 !important
; }
40 vertical-align: bottom
;
46 color: #888888 !important
;
47 border-bottom: 1px solid
#cccccc !important
;
56 #content h1
, #content h2
{
59 letter-spacing: -0.03em;
60 word-spacing: -0.03em;
63 #content h1
{ font-size: 1.6em; }
75 background-color: #f5f5f5;
81 font-family: "DejaVu Sans Mono", monospace
;
88 background-color: #f5f5f5;
98 margin: 0.3em 0 0 1.6em;
102 /* list-style: none; */
113 #text-publications p
{
117 .light-off:checked
~ .page #content pre
,
118 .light-off:checked ~ .page #content code {
119 background-color: #232323;
122 .clear { clear: both
; }
124 #hello { float: left
; line-height: 50px !important
; }
126 #content .picture__avatar
{
134 @media only screen and
(min-width: 570px) {
136 margin-right: 3em !important
;
141 background-color: #ffffff;
148 text-decoration: none
;
149 border-bottom: 1px solid
#a5ceff;
152 pre
{ margin-left: 0 }
163 vertical-align: middle
;
167 .light-off-button-inline {
169 -webkit-user-select: none
;
175 .light-off-button:hover:after
,
176 .light-off-button-inline:hover:after {
181 .light-off:checked
~ .page
.light-off-button:hover:after
182 .light-off:checked ~ .page .light-off-button-inline:hover:after {
187 .light-off-button:after
,
188 .light-off-button-inline:after {
190 font-family: "Noto Color Emoji", "Noto Sans", "Arial", sans-serif
;
193 .light-off:checked ~ .page {
194 background-color: #141414;
201 .light-off:checked ~ .page:selection {
205 .light-off:checked ~ .page a, .light-off:checked ~ header a {
206 color: #ddddb6 !important
;
207 border-bottom: 1px solid
#aaaa96;
210 .light-off:checked ~ .page a:visited {
212 border-bottom: 1px solid
#444444;
215 .light-off:checked ~ .page a:hover {
217 border-bottom: 1px solid
#ddddb6;