[ci skip] Automated deployment to GitHub Pages on 1680299752521

This commit is contained in:
alexandrevicenzi 2023-03-31 21:55:52 +00:00
commit 393c7f862b
135 changed files with 21650 additions and 0 deletions

View file

@ -0,0 +1,170 @@
//
// Dark Theme CSS styles.
//
@import "variables.less";
body {
background-color: @body-bg-dark-theme;
color: @text-color-dark-theme;
}
hr {
background-color: @solid-dark-grey;
color: @solid-dark-grey;
}
aside {
background-color: @sidebar-bg-dark-theme;
color: @sidebar-text-color;
form.navbar-search input#tipue_search_input {
background-color: @very-dark-grey;
color: @light-grey;
}
}
main {
nav {
border-bottom-color: @nav-border-color-dark-theme;
}
nav, .translations {
a {
border-color: @nav-border-color-dark-theme;
}
}
article {
kbd {
background-color: #080808;
color: @light-grey;
}
blockquote, pre {
border-left: 8px solid #ffffff33;
}
*:not(pre) > code {
background-color: #080808;
border-color: #000;
}
div#tipue_search_content .tipue_search_result {
span.tipue_search_content_bold {
color: white;
}
}
section#isso-thread {
div.textarea,
.auth-section p.input-wrapper input,
.notification-section input {
background: @very-dark-grey;
color: @light-grey;
}
>h4 {
color: @light-grey;
}
.isso-postbox > .form-wrapper .preview {
background: repeating-linear-gradient(
-45deg,
@solid-dark-grey, @solid-dark-grey 10px,
@very-dark-grey 10px, @very-dark-grey 20px
);
}
.isso-comment > div.text-wrapper {
> .isso-comment-header {
.author {
color: @light-grey;
}
.spacer, a.permalink, .note, a.parent {
color: @med-grey;
&:hover {
color: @light-grey;
}
}
}
> .isso-comment-footer a:hover {
// Unfortunately, Isso uses a lot of !important in its styles, so I
// have to override that.
text-shadow: @dark-grey 0 0 1px !important;
}
}
}
}
footer {
border-top-color: @footer-border-color-dark-theme;
}
}
div.related-posts {
border-color: @rel-post-border-color-dark-theme;
}
// Admonition
div.admonition {
color: @admonition-generic-color-dark-theme;
background-color: @admonition-generic-bg-color-dark-theme;
}
div.admonition.attention {
color: @admonition-attention-color-dark-theme;
background-color: @admonition-attention-bg-color-dark-theme;
}
div.admonition.caution {
color: @admonition-caution-color-dark-theme;
background-color: @admonition-caution-bg-color-dark-theme;
}
div.admonition.danger {
color: @admonition-danger-color-dark-theme;
background-color: @admonition-danger-bg-color-dark-theme;
}
div.admonition.error {
color: @admonition-error-color-dark-theme;
background-color: @admonition-error-bg-color-dark-theme;
}
div.admonition.hint {
color: @admonition-hint-color-dark-theme;
background-color: @admonition-hint-bg-color-dark-theme;
}
div.admonition.important {
color: @admonition-important-color-dark-theme;
background-color: @admonition-important-bg-color-dark-theme;
}
div.admonition.note {
color: @admonition-note-color-dark-theme;
background-color: @admonition-note-bg-color-dark-theme;
}
div.admonition.tip {
color: @admonition-tip-color-dark-theme;
background-color: @admonition-tip-bg-color-dark-theme;
}
div.admonition.warning {
color: @admonition-warning-color-dark-theme;
background-color: @admonition-warning-bg-color-dark-theme;
}
figure,
div.figure {
color: @figure-color-dark-theme;
figcaption {
color: @text-color-dark-theme;
}
}

1
theme/stylesheet/dark-theme.min.css vendored Normal file
View file

@ -0,0 +1 @@
body{background-color:#333;color:#eee}hr{color:#222}aside,hr{background-color:#222}aside{color:#fff}aside form.navbar-search input#tipue_search_input{background-color:#1a1a1a;color:#eee}main nav{border-bottom-color:#222}main .translations a,main nav a{border-color:#222}main article kbd{background-color:#080808;color:#eee}main article blockquote,main article pre{border-left:8px solid #ffffff33}main article :not(pre)>code{background-color:#080808;border-color:#000}main article div#tipue_search_content .tipue_search_result span.tipue_search_content_bold{color:#fff}main article section#isso-thread .auth-section p.input-wrapper input,main article section#isso-thread .notification-section input,main article section#isso-thread div.textarea{background:#1a1a1a;color:#eee}main article section#isso-thread>h4{color:#eee}main article section#isso-thread .isso-postbox>.form-wrapper .preview{background:repeating-linear-gradient(-45deg,#222,#222 10px,#1a1a1a 0,#1a1a1a 20px)}main article section#isso-thread .isso-comment>div.text-wrapper>.isso-comment-header .author{color:#eee}main article section#isso-thread .isso-comment>div.text-wrapper>.isso-comment-header .note,main article section#isso-thread .isso-comment>div.text-wrapper>.isso-comment-header .spacer,main article section#isso-thread .isso-comment>div.text-wrapper>.isso-comment-header a.parent,main article section#isso-thread .isso-comment>div.text-wrapper>.isso-comment-header a.permalink{color:#999}main article section#isso-thread .isso-comment>div.text-wrapper>.isso-comment-header .note:hover,main article section#isso-thread .isso-comment>div.text-wrapper>.isso-comment-header .spacer:hover,main article section#isso-thread .isso-comment>div.text-wrapper>.isso-comment-header a.parent:hover,main article section#isso-thread .isso-comment>div.text-wrapper>.isso-comment-header a.permalink:hover{color:#eee}main article section#isso-thread .isso-comment>div.text-wrapper>.isso-comment-footer a:hover{text-shadow:#242121 0 0 1px!important}main footer{border-top-color:#222}div.related-posts{border-color:#222}div.admonition{color:#eee;background-color:#404040}div.admonition.attention,div.admonition.caution{color:#fbda7a;background-color:#4a3900}div.admonition.danger,div.admonition.error{color:#ebadb3;background-color:#28070a}div.admonition.hint{color:#7abaff;background-color:#001933}div.admonition.important,div.admonition.note{color:#a8eab7;background-color:#122b18}div.admonition.tip{color:#7abaff;background-color:#001933}div.admonition.warning{color:#fbda7a;background-color:#4a3900}div.figure,figure{color:#bfbfbf}div.figure figcaption,figure figcaption{color:#eee}

785
theme/stylesheet/style.less Normal file
View file

@ -0,0 +1,785 @@
@import "variables.less";
html, body {
width: 100%;
height: 100%;
}
h1,
h2,
h3,
h4,
h5,
h6 {
font-weight: 300;
line-height: 1.1;
}
h1{
font-size: 2.4em
}
h2 {
font-size: 2em
}
h3 {
font-size: 1.6em
}
h4 {
font-size: 1.36em
}
h5 {
font-size: 1.2em
}
h6 {
font-size: 1.1em
}
body {
margin: 0;
padding: 0;
background-color: @body-bg;
color: @text-color;
font-family: @sans;
font-size: 1.02em;
line-height: 1.2em;
}
a {
color: @link-color;
text-decoration: none;
}
a:hover {
color: @link-hover-color;
}
hr {
color: @light-grey;
background-color: @light-grey;
height: 1px;
border: none;
margin-top: 40px;
margin-bottom: 40px;
}
img {
max-width: 100%;
}
aside {
background-color: @sidebar-bg;
color: @sidebar-text-color;
text-align: center;
a {
color: @sidebar-link-color;
}
a:hover {
color: @sidebar-link-hover-color;
}
div {
padding: 20px;
margin: 0;
img {
border-radius: 50%;
max-width: 140px;
}
h1 {
margin: 15px 0 5px 0;
}
p {
margin: 0 0 15px 0;
font-size: .92em;
}
}
nav {
ul {
li {
display: inline;
line-height: 1.6em;
font-size: 1.28em;
text-transform: lowercase;
}
}
}
}
main {
nav {
text-align: center;
text-transform: uppercase;
padding: 14px 0 14px 0;
border-bottom: @nav-border-color 1px solid;
// Need to use font-size of 0 so that whitespace between the <a> tags
// doesn't have an affect on alignment.
font-size: 0;
}
nav, .translations {
a {
font-size: 12px;
padding: 0 4px;
border-right: @nav-border-color 1px solid;
}
:last-child {
border-right: none;
}
}
.neighbors {
margin: 4% 0% 4% 0%;
height: 20px;
}
.pagination {
margin: 4% 8% 4% 8%;
height: 20px;
}
.social-share {
p {
font-size: .8em;
}
}
article {
margin: 0 8% 2% 8%;
header {
h1, h2 {
margin-bottom: 0;
}
p {
color: @header-text-color;
font-size: 0.86em;
}
.translations {
float: right;
.active {
font-weight: 600;
}
}
}
code, kbd, samp, pre {
font-family: @mono;
}
blockquote, pre {
background-color: rgba(128,128,128,0.05);
border-top-right-radius: 5px;
border-bottom-right-radius: 5px;
border-left: 8px solid rgba(128,128,128,0.075);
border-left-width: 10px;
}
blockquote {
margin: 0;
padding: 10px 20px;
font-weight: 300;
font-size: 1.1em;
}
pre {
padding: 4px;
font-size: .9em;
overflow-x: auto;
}
samp {
white-space: pre;
display: block;
overflow-x: auto;
}
kbd {
padding: .1em .6em;
border: 1px solid rgba(63,63,63,0.25);
box-shadow: 0 1px 0 rgba(63,63,63,0.25);
background-color: #fff;
color: #333;
border-radius: 3px;
display: inline-block;
margin: 0 .1em;
white-space: nowrap;
font-size: .78em;
}
*:not(pre) > code {
font-size: .8em;
white-space: nowrap;
color: #c25;
padding: 1px 3px;
background-color: #f7f7f9;
border: 1px solid #e1e1e8;
border-radius: 3px;
}
.comment-count {
font-size: .8em;
}
table {
border-collapse: collapse;
border-spacing: 0;
thead:first-child tr:first-child th {
border-top: 0;
}
th, td {
padding: 8px;
line-height: 20px;
vertical-align: top;
border-top: 1px solid #ddd;
}
}
table.highlighttable {
width: 100%;
table-layout: fixed;
td {
border-style: none;
padding: 0px;
}
td.linenos {
width: 2.5em;
pre {
padding-right: .8em;
background-color: inherit;
text-align: right;
}
}
}
// Add a bit of padding between each of the entry boxes in the Isso auth
// section. By default, they are squished together, which looks terrible.
section#isso-thread .auth-section .input-wrapper {
margin-right: 5px;
}
.toc {
margin-top: 2em;
.toctitle {
font-size: 1.3em
}
ul {
list-style: none;
padding-inline-start: 1rem;
}
> ul {
padding: 0;
}
}
}
footer {
padding-top: 4px;
border-top: @footer-border-color 1px solid;
p {
margin: 2px;
text-align: center;
padding: 0 40px 0 40px;
color: @footer-text-color;
font-size: 11px;
}
// Flex credits and theme selection separator
span.footer-separator {
margin: 0 6px;
}
}
}
.tag-cloud {
a {
background-color: @tag-bg;
padding: .2em .6em .2em;
font-size: .74em;
line-height: 1;
color: @tag-text-color;
text-align: center;
white-space: nowrap;
vertical-align: baseline;
border-radius: .25em;
}
a:hover {
background-color: @tag-hover-color;
}
}
a.btn,
section#isso-thread section.auth-section p.post-action input {
background-color: @btn-bg;
padding: .6em .6em;
font-size: .8em;
line-height: 1;
color: @btn-text-color;
text-align: center;
white-space: nowrap;
vertical-align: baseline;
border: none;
border-radius: .25em;
}
a.btn:hover {
background-color: @btn-hover-color;
}
.center, .text-center {
text-align: center;
}
.img-center {
margin-left: auto;
margin-right: auto;
display: block;
}
.align-center {
margin-left: auto;
margin-right: auto;
display: block;
}
.float-left {
float: left;
}
.float-right {
float: right;
}
div.related-posts {
margin: 15px 0 15px 0;
padding-bottom: 20px;
border-top: @rel-post-border-color 1px solid;
border-bottom: @rel-post-border-color 1px solid;
h4 {
margin: 20px 0 25px 0;
}
ul {
font-size: 1.1em;
padding-left: 12px;
li {
padding: 4px 0 4px 0;
}
}
}
ul.list, ul.social, ul.related-posts {
list-style-type: none;
margin: 0;
padding: 0;
}
ul.list {
padding: 1em 0 1em 0;
li {
padding: 4px;
}
}
ul.social {
font-size: 1.6em;
padding-top: 20px;
li {
display: inline;
}
a:hover {
z-index: 2;
-webkit-transform: translateY(-2px);
transform: translateY(-2px);
}
a {
display: inline-block;
width: 36px;
height: 36px;
border-radius: 100%;
text-align: center;
font-size: .8em;
line-height: 36px;
}
a.sc-facebook {
background-color: @facebook-bg-color;
}
a.sc-google {
background-color: @google-bg-color;
}
a.sc-instagram {
background-color: @instagram-bg-color;
}
a.sc-keybase {
background-color: @keybase-bg-color;
}
a.sc-pinterest {
background-color: @pinterest-bg-color;
}
a.sc-linkedin {
background-color: @linkedin-bg-color;
}
a.sc-medium {
background-color: @medium-bg-color;
}
a.sc-rss {
background-color: @rss-bg-color;
}
a.sc-stack-overflow {
background-color: @stack-overflow-bg-color;
}
a.sc-tumblr {
background-color: @tumblr-bg-color;
}
a.sc-twitch {
background-color: @twitch-bg-color;
}
a.sc-twitter {
background-color: @twitter-bg-color;
}
a.sc-youtube {
background-color: @youtube-bg-color;
}
a.sc-github, a.sc-github-alt {
background-color: @github-bg-color;
}
a.sc-at, a.sc-mailbox, a.sc-envelope {
background-color: @email-bg-color;
}
a.sc-reddit {
background-color: @reddit-bg-color;
}
a.sc-soundcloud {
background-color: @soundcloud-bg-color;
}
a.sc-gitlab {
background-color: @gitlab-bg-color;
}
a.sc-xing {
background-color: @xing-bg-color;
}
a.sc-bitbucket {
background-color: @bitbucket-bg-color;
}
a.sc-mastodon {
background-color: @mastodon-bg-color;
}
a.sc-diaspora {
color: @diaspora-color;
background-color: @diaspora-bg-color;
}
a.sc-flickr {
background-color: @flickr-bg-color;
}
a.sc-lastfm {
background-color: @lastfm-bg-color;
}
}
.ads-aside {
display: inline-block;
height: 90px;
width: 70%;
}
.ads-responsive {
display: inline-block;
margin: 6px 0 6px 0;
width: 90%;
height: 70px;
margin-left: 5%;
}
//
// Desktop
//
@media screen and (min-width: 768px) {
aside {
width: 25vw;
height: 100vh;
position: fixed;
z-index: 1000;
top: 0;
left: 0;
div {
padding: 36px 18px;
nav {
ul {
li {
padding: 0 !important;
display: block;
}
}
}
ul.social {
padding-top: 32px;
}
}
}
main {
height: 100vh;
position: relative;
padding-left: 25vw;
article {
max-width: 760px;
ul.list {
li {
padding: 2px;
}
}
}
}
.ads-aside {
height: 250px;
}
.ads-responsive {
height: 90px;
}
}
// Admonition
div.admonition {
margin-bottom: 2.5rem;
border-radius: 4px;
padding: 0.5em 1.25em 1.25em 1.25em;
p.admonition-title::before {
display: inline-block;
font-style: normal;
font-variant: normal;
text-rendering: auto;
font-family: "Font Awesome 5 Free";
}
p.admonition-title {
font-weight: 600;
line-height: 1.25em;
margin-bottom: 1.25em;
margin-top: inherit;
}
p, div, pre {
margin-bottom: 0;
}
}
div.admonition {
color: @admonition-generic-color;
background-color: @admonition-generic-bg-color;
}
div.admonition.attention {
p.admonition-title::before {
content: @admonition-attention-icon;
}
color: @admonition-attention-color;
background-color: @admonition-attention-bg-color;
}
div.admonition.caution {
p.admonition-title::before {
content: @admonition-caution-icon;
}
color: @admonition-caution-color;
background-color: @admonition-caution-bg-color;
}
div.admonition.danger {
p.admonition-title::before {
content: @admonition-danger-icon;
}
color: @admonition-danger-color;
background-color: @admonition-danger-bg-color;
}
div.admonition.error {
p.admonition-title::before {
content: @admonition-error-icon;
}
color: @admonition-error-color;
background-color: @admonition-error-bg-color;
}
div.admonition.hint {
p.admonition-title::before {
content: @admonition-hint-icon;
}
color: @admonition-hint-color;
background-color: @admonition-hint-bg-color;
}
div.admonition.important {
p.admonition-title::before {
content: @admonition-important-icon;
}
color: @admonition-important-color;
background-color: @admonition-important-bg-color;
}
div.admonition.note {
p.admonition-title::before {
content: @admonition-note-icon;
}
color: @admonition-note-color;
background-color: @admonition-note-bg-color;
}
div.admonition.tip {
p.admonition-title::before {
content: @admonition-tip-icon;
}
color: @admonition-tip-color;
background-color: @admonition-tip-bg-color;
}
div.admonition.warning {
p.admonition-title::before {
content: @admonition-warning-icon;
}
color: @admonition-warning-color;
background-color: @admonition-warning-bg-color;
}
figure,
div.figure {
font-size: 90%;
color: @figure-color;
figcaption {
margin-top: 0.5em;
text-align: center;
color: @text-color;
}
img {
vertical-align: middle;
line-height: 1;
display: inline;
}
p {
margin-top: 0;
margin-bottom: 0;
}
p.caption {
font-style: italic;
}
div.legend {
text-align: initial;
}
}
figure.align-left,
div.figure.align-left {
text-align: left;
}
figure.align-center,
div.figure.align-center {
text-align: center;
}
figure.align-right,
div.figure.align-right {
text-align: right;
}
.github-corner:hover .octo-arm {
animation:octocat-wave 560ms ease-in-out;
}
@keyframes octocat-wave {
0%,100% {
transform:rotate(0);
}
20%,60% {
transform:rotate(-25deg);
}
40%,80% {
transform:rotate(10deg);
}
}
@media (max-width:500px) {
.github-corner:hover .octo-arm {
animation:none;
}
.github-corner .octo-arm{
animation:octocat-wave 560ms ease-in-out;
}
}

1
theme/stylesheet/style.min.css vendored Normal file

File diff suppressed because one or more lines are too long

View file

@ -0,0 +1,148 @@
// Flex colors
@orange: #D9411E;
@light-orange: #FF5A09;
@white: #ffffff;
@grey: #333333;
@light-grey: #eeeeee;
@med-grey: #999999;
@dark-grey: #242121;
@solid-dark-grey: #222222;
@very-dark-grey: #1a1a1a;
// Font family
@sans: 'Source Sans Pro', 'Roboto', 'Open Sans', 'Liberation Sans', 'DejaVu Sans', 'Verdana', 'Helvetica', 'Arial', sans-serif;
@mono: 'Source Code Pro', 'Consolas', 'Liberation Mono', 'DejaVu Sans Mono', monospace;
// Body
@body-bg: @white;
@body-bg-dark-theme: @grey;
@text-color: @dark-grey;
@text-color-dark-theme: @light-grey;
// Links
@link-color: @orange;
@link-hover-color: @light-orange;
// Sidebar (aside)
@sidebar-bg: @grey;
@sidebar-bg-dark-theme: @solid-dark-grey;
@sidebar-text-color: @white;
@sidebar-link-color: @white;
@sidebar-link-hover-color: @light-grey;
// Buttons
@btn-bg: @orange;
@btn-text-color: @white;
@btn-hover-color: @light-orange;
// Tag cloud
@tag-bg: @orange;
@tag-text-color: @white;
@tag-hover-color: @light-orange;
// Header
@header-text-color: @med-grey;
// Footer
@footer-text-color: @med-grey;
@footer-border-color: @light-grey;
@footer-border-color-dark-theme: @solid-dark-grey;
// Relative posts
@rel-post-border-color: @light-grey;
@rel-post-border-color-dark-theme: @solid-dark-grey;
// Nav
@nav-border-color: @light-grey;
@nav-border-color-dark-theme: @solid-dark-grey;
// Social buttons
@email-bg-color: #578ad6;
@facebook-bg-color: #3e5b98;
@github-bg-color: #111010;
@google-bg-color: #d93e2d;
@instagram-bg-color: #125688;
@keybase-bg-color: #4c8dff;
@linkedin-bg-color: #3371b7;
@medium-bg-color: #00ab6b;
@pinterest-bg-color: #c92619;
@reddit-bg-color: #ff4500;
@rss-bg-color: #f26109;
@soundcloud-bg-color: #ff5500;
@stack-overflow-bg-color: #ff9900;
@tumblr-bg-color: #36465d;
@twitch-bg-color: #a970ff;
@twitter-bg-color: #4da7de;
@youtube-bg-color: #e02a20;
@gitlab-bg-color: #fca326;
@xing-bg-color: #007575;
@bitbucket-bg-color: #0747A6;
@mastodon-bg-color: #3088d4;
@diaspora-color: #000000;
@diaspora-bg-color: #D5D5D5;
@flickr-bg-color: #ff0084;
@lastfm-bg-color: #d92323;
// Admonition colors
@admonition-generic-color: @dark-grey;
@admonition-generic-color-dark-theme: @light-grey;
@admonition-generic-bg-color: #cccccc;
@admonition-generic-bg-color-dark-theme: #404040;
@admonition-attention-color: #856404;
@admonition-attention-color-dark-theme: #fbda7a;
@admonition-attention-bg-color: #fff3cd;
@admonition-attention-bg-color-dark-theme: #4a3900;
@admonition-attention-icon: "\f071\00a0 ";
@admonition-caution-color: @admonition-attention-color;
@admonition-caution-color-dark-theme: @admonition-attention-color-dark-theme;
@admonition-caution-bg-color: @admonition-attention-bg-color;
@admonition-caution-bg-color-dark-theme: @admonition-attention-bg-color-dark-theme;
@admonition-caution-icon: @admonition-attention-icon;
@admonition-warning-color: @admonition-attention-color;
@admonition-warning-color-dark-theme: @admonition-attention-color-dark-theme;
@admonition-warning-bg-color: @admonition-attention-bg-color;
@admonition-warning-bg-color-dark-theme: @admonition-attention-bg-color-dark-theme;
@admonition-warning-icon: @admonition-attention-icon;
@admonition-danger-color: #721c24;
@admonition-danger-color-dark-theme: #ebadb3;
@admonition-danger-bg-color: #f8d7da;
@admonition-danger-bg-color-dark-theme: #28070a;
@admonition-danger-icon: "\f06a\00a0 ";
@admonition-error-color: @admonition-danger-color;
@admonition-error-color-dark-theme: @admonition-danger-color-dark-theme;
@admonition-error-bg-color: @admonition-danger-bg-color;
@admonition-error-bg-color-dark-theme: @admonition-danger-bg-color-dark-theme;
@admonition-error-icon: @admonition-danger-icon;
@admonition-hint-color: #004085 ;
@admonition-hint-color-dark-theme: #7abaff;
@admonition-hint-bg-color: #cce5ff;
@admonition-hint-bg-color-dark-theme: #001933;
@admonition-hint-icon: "\f0eb\00a0 ";
@admonition-tip-color: @admonition-hint-color;
@admonition-tip-color-dark-theme: @admonition-hint-color-dark-theme;
@admonition-tip-bg-color: @admonition-hint-bg-color;
@admonition-tip-bg-color-dark-theme: @admonition-hint-bg-color-dark-theme;
@admonition-tip-icon: @admonition-hint-icon;
@admonition-important-color: #155724;
@admonition-important-color-dark-theme: #a8eab7;
@admonition-important-bg-color: #d4edda;
@admonition-important-bg-color-dark-theme: #122b18;
@admonition-important-icon: "\f05a\00a0 ";
@admonition-note-color: @admonition-important-color;
@admonition-note-color-dark-theme: @admonition-important-color-dark-theme;
@admonition-note-bg-color: @admonition-important-bg-color;
@admonition-note-bg-color-dark-theme: @admonition-important-bg-color-dark-theme;
@admonition-note-icon: @admonition-important-icon;
@figure-color: #6c757d;
@figure-color-dark-theme: #bfbfbf;