2020-05-07 16:29:37 +00:00
|
|
|
@import "fonts.less";
|
|
|
|
|
2020-04-29 18:17:21 +00:00
|
|
|
@navbar-width:100%;
|
|
|
|
@navbar-height: 10px;
|
2020-11-16 19:01:06 +00:00
|
|
|
@banner-height: 530px;
|
|
|
|
@banner-width: 100%;
|
2020-05-07 16:29:37 +00:00
|
|
|
@logo-dimension: 20px;
|
2020-04-29 18:17:21 +00:00
|
|
|
|
|
|
|
* {
|
|
|
|
background-color: white;
|
2020-05-07 16:29:37 +00:00
|
|
|
font-family: 'happy';
|
|
|
|
}
|
|
|
|
|
|
|
|
a {
|
2020-11-20 15:35:37 +00:00
|
|
|
color: #737373;
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
a::hover {
|
|
|
|
text-decoration: underline;
|
|
|
|
}
|
|
|
|
|
|
|
|
h1 > a, h2 > a, h3 > a, h4 > a {
|
|
|
|
color:black;
|
|
|
|
}
|
|
|
|
|
|
|
|
.navbar > a {
|
2020-05-07 16:29:37 +00:00
|
|
|
text-decoration: none;
|
|
|
|
color: black;
|
2020-04-29 18:17:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.navbar {
|
|
|
|
font-size: 1.5em;
|
2020-11-16 19:01:06 +00:00
|
|
|
width: @navbar-width;
|
2020-04-29 18:17:21 +00:00
|
|
|
height: @navbar-height;
|
|
|
|
background-color: white;
|
2020-05-10 17:29:47 +00:00
|
|
|
margin-top: 10px;
|
2020-05-07 16:29:37 +00:00
|
|
|
padding-bottom: 25px;
|
2020-05-10 17:29:47 +00:00
|
|
|
|
|
|
|
white-space: nowrap;
|
|
|
|
overflow: hidden;
|
|
|
|
text-overflow: ellipsis;
|
|
|
|
|
2020-05-07 16:29:37 +00:00
|
|
|
a {
|
2020-11-16 19:01:06 +00:00
|
|
|
padding-left: 40px;
|
2020-05-07 16:29:37 +00:00
|
|
|
padding-right: 40px;
|
|
|
|
}
|
|
|
|
|
|
|
|
:hover {
|
|
|
|
text-decoration: underline;
|
|
|
|
}
|
2020-04-29 18:17:21 +00:00
|
|
|
}
|
|
|
|
|
2020-05-07 16:29:37 +00:00
|
|
|
.footer {
|
|
|
|
margin-top: 50px;
|
2020-11-20 15:35:37 +00:00
|
|
|
margin-bottom: 30px;
|
2020-05-07 16:29:37 +00:00
|
|
|
text-align: center;
|
|
|
|
|
|
|
|
a {
|
|
|
|
text-decoration: none;
|
2020-11-16 19:01:06 +00:00
|
|
|
padding-right: 20px;
|
|
|
|
padding-left: 20px;
|
2020-05-07 16:29:37 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-09-26 12:47:02 +00:00
|
|
|
#break-footer {
|
|
|
|
width:20%;
|
|
|
|
}
|
|
|
|
|
2020-04-29 18:17:21 +00:00
|
|
|
.banner-img {
|
|
|
|
width: @banner-width;
|
2020-11-20 15:35:37 +00:00
|
|
|
height:300px;
|
|
|
|
object-fit: cover;
|
2020-04-29 18:17:21 +00:00
|
|
|
}
|
|
|
|
|
2020-11-20 15:35:37 +00:00
|
|
|
|
2020-05-07 16:29:37 +00:00
|
|
|
#rss-logo {
|
2020-11-16 19:01:06 +00:00
|
|
|
width: @logo-dimension;
|
|
|
|
height: @logo-dimension;
|
2020-05-07 16:29:37 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#git-logo {
|
2020-11-16 19:01:06 +00:00
|
|
|
width: @logo-dimension;
|
|
|
|
height: @logo-dimension;
|
2020-05-07 16:29:37 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-04-29 18:17:21 +00:00
|
|
|
.content {
|
|
|
|
margin-top: @navbar-height + 40px;
|
2020-05-07 16:29:37 +00:00
|
|
|
margin-left: 15%;
|
2020-05-10 14:23:09 +00:00
|
|
|
max-width: 60%;
|
|
|
|
font-size: 1.2em;
|
2020-05-07 16:29:37 +00:00
|
|
|
a:hover {
|
|
|
|
text-decoration: underline;
|
|
|
|
}
|
|
|
|
|
2020-04-29 18:17:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.article-anchor {
|
|
|
|
padding-left: 10px;
|
|
|
|
padding-right: 10px;
|
2020-04-30 16:12:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.title-block {
|
|
|
|
text-align: left;
|
2020-05-07 16:29:37 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
code {
|
|
|
|
background-color: #cccccc;
|
|
|
|
font-style: italic;
|
2020-05-10 17:29:47 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
blockquote {
|
2020-06-01 13:45:01 +00:00
|
|
|
margin-left: 40px;
|
2020-05-10 17:29:47 +00:00
|
|
|
font-style: italic;
|
2020-06-01 13:45:01 +00:00
|
|
|
font-size: 1em;
|
2020-05-10 17:29:47 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
@media print {
|
|
|
|
.banner {
|
|
|
|
visibility: hidden;
|
|
|
|
}
|
|
|
|
|
|
|
|
.navbar {
|
|
|
|
visibility: hidden;
|
|
|
|
}
|
2020-11-16 19:01:06 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.paginator {
|
|
|
|
text-align: center;
|
|
|
|
}
|
|
|
|
|
|
|
|
.page_numbers {
|
|
|
|
padding: 20px;
|
|
|
|
}
|
2020-11-19 19:09:08 +00:00
|
|
|
|
|
|
|
.content > div > p > img {
|
|
|
|
border: solid 1px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.subsection-banner {
|
|
|
|
width: 100%;
|
|
|
|
}
|
2021-05-03 17:34:06 +00:00
|
|
|
|
|
|
|
.monospace-this p {
|
|
|
|
font-family: Courier, monospace;
|
|
|
|
line-height: 1;
|
|
|
|
letter-spacing: 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.monospace-this hr {
|
|
|
|
width: 20%;
|
|
|
|
margin: 2em 0 2em;
|
|
|
|
}
|