tech-ingolf-wagner-de/src/lessc/page/main.less

107 lines
1.8 KiB
Plaintext
Raw Normal View History

2021-07-19 20:21:28 +02:00
@import "color.less";
@import "media-types.less";
@import "font.less";
2021-08-25 07:34:16 +02:00
2021-08-24 20:08:43 +02:00
@import "main-navigation.less";
2021-08-24 21:18:56 +02:00
@import "main-hack.less";
@import "main-toc.less";
@import "main-listing.less";
2021-08-25 20:06:33 +02:00
@import "chroma-highlighting-syntax.less";
2021-07-19 20:21:28 +02:00
2021-08-28 09:57:01 +02:00
@import "custom-iphone.less";
2021-07-19 20:21:28 +02:00
// left and right for notes and warning and and code blocks
@special-info-padding-side: 0.5em;
body {
2021-08-25 07:34:16 +02:00
background-color: @color-body-background;
font-family: @font-normal;
color: @color-body-font;
2021-07-19 20:21:28 +02:00
margin: 0px;
2021-08-24 21:18:56 +02:00
header{
width: 800px;
margin-left: auto;
margin-right: auto;
2021-07-19 20:21:28 +02:00
}
.content {
2021-08-24 21:18:56 +02:00
width: 800px;
margin-left: auto;
margin-right: auto;
2021-08-25 07:34:16 +02:00
}
.content-big {
width: 1000px;
margin-left: auto;
margin-right: auto;
2021-07-19 20:21:28 +02:00
}
}
2021-08-24 21:18:56 +02:00
h1,h2,h3,h4 {
font-family: @font-header;
2021-08-25 07:34:16 +02:00
font-size: 1.1rem;
2021-07-19 20:21:28 +02:00
}
2021-08-25 20:06:33 +02:00
.publishing_date {
font-family: @font-publishing-date;
font-size: 0.8rem;
color: @color-publishing-date;
}
2021-07-20 18:26:46 +02:00
.note {
2021-07-19 20:21:28 +02:00
background: @color-note-background;
border-left: .4em solid @color-note-border;
padding-left: 0px;
padding-top: .4em;
padding-bottom: .4em;
p {
margin-left: @special-info-padding-side;
padding-top: .0em;
padding-bottom: 0.0em;
}
pre {
margin-left: 0;
padding-left: @special-info-padding-side * 2 ;
padding-right: @special-info-padding-side * 2 ;
padding-top: .6em;
padding-bottom: 0.4em;
border-left: none;
white-space: pre-wrap;
}
}
.warning {
background: @color-warning-background;
}
table.comparison {
width: 100%;
margin-left: 0px;
margin-right: 0px;
.good {
background: @color-comparison-good;
text-align: center;
}
.bad {
background: @color-comparison-bad;
text-align: center;
}
.ok {
background: @color-comparison-ok;
text-align: center;
}
}
2021-08-27 15:23:16 +02:00
figure {
margin: 0px;
}