124 lines
1.8 KiB
CSS
124 lines
1.8 KiB
CSS
@font-face {
|
|
font-family: happy;
|
|
src: url('/theme/css/fonts/Happy-Times-at-the-IKOB-master/fonts/webfonts/happy-times-NG_regular_master_web.ttf');
|
|
}
|
|
* {
|
|
background-color: white;
|
|
font-family: 'happy';
|
|
}
|
|
a {
|
|
color: #737373;
|
|
text-decoration: none;
|
|
}
|
|
a::hover {
|
|
text-decoration: underline;
|
|
}
|
|
h1 > a,
|
|
h2 > a,
|
|
h3 > a,
|
|
h4 > a {
|
|
color: black;
|
|
}
|
|
.navbar > a {
|
|
text-decoration: none;
|
|
color: black;
|
|
}
|
|
.navbar {
|
|
font-size: 1.5em;
|
|
width: 100%;
|
|
height: 10px;
|
|
background-color: white;
|
|
margin-top: 10px;
|
|
padding-bottom: 25px;
|
|
white-space: nowrap;
|
|
overflow: hidden;
|
|
text-overflow: ellipsis;
|
|
}
|
|
.navbar a {
|
|
padding-left: 40px;
|
|
padding-right: 40px;
|
|
}
|
|
.navbar :hover {
|
|
text-decoration: underline;
|
|
}
|
|
.footer {
|
|
margin-top: 50px;
|
|
margin-bottom: 30px;
|
|
text-align: center;
|
|
}
|
|
.footer a {
|
|
text-decoration: none;
|
|
padding-right: 20px;
|
|
padding-left: 20px;
|
|
}
|
|
#break-footer {
|
|
width: 20%;
|
|
}
|
|
.banner-img {
|
|
width: 100%;
|
|
height: 300px;
|
|
object-fit: cover;
|
|
}
|
|
#rss-logo {
|
|
width: 20px;
|
|
height: 20px;
|
|
}
|
|
#git-logo {
|
|
width: 20px;
|
|
height: 20px;
|
|
}
|
|
.content {
|
|
margin-top: 50px;
|
|
margin-left: 15%;
|
|
max-width: 60%;
|
|
font-size: 1.2em;
|
|
}
|
|
.content a:hover {
|
|
text-decoration: underline;
|
|
}
|
|
.article-anchor {
|
|
padding-left: 10px;
|
|
padding-right: 10px;
|
|
}
|
|
.title-block {
|
|
text-align: left;
|
|
}
|
|
code {
|
|
background-color: #cccccc;
|
|
font-style: italic;
|
|
}
|
|
blockquote {
|
|
margin-left: 40px;
|
|
font-style: italic;
|
|
font-size: 1em;
|
|
}
|
|
@media print {
|
|
.banner {
|
|
visibility: hidden;
|
|
}
|
|
.navbar {
|
|
visibility: hidden;
|
|
}
|
|
}
|
|
.paginator {
|
|
text-align: center;
|
|
}
|
|
.page_numbers {
|
|
padding: 20px;
|
|
}
|
|
.content > div > p > img {
|
|
border: solid 1px;
|
|
}
|
|
.subsection-banner {
|
|
width: 100%;
|
|
}
|
|
.monospace-this p {
|
|
font-family: Courier, monospace;
|
|
line-height: 1;
|
|
letter-spacing: 1em;
|
|
}
|
|
.monospace-this hr {
|
|
width: 20%;
|
|
margin: 2em 0 2em;
|
|
}
|