view website/src/site.css @ 1833:e6a5f178e5f9 default tip

remove discord
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 22 Dec 2024 18:46:25 -0700
parents f44dcb3fedf7
children
line wrap: on
line source

* {
 	box-sizing: border-box;
}

body {
	font-family: sans-serif;
	margin: 0;
}

a[href] {
	text-decoration: inherit;
}
a[href]:hover {
	text-decoration: underline;
}

div[header] {
	font-size: 14px;
	background-color: #ddd;
	padding: 8px 3%;
	display: flex;
	justify-content: space-between;
}

[content] {
	margin-left: 3%;
	margin-right: 3%;
	margin-bottom: 2em;
}

[small] {
	font-size: small;
}

ul[links] {
	margin-top: 32px;
	list-style-type: none;
	padding-left: 0;
}
ul[links] li {
	margin: 12px 0;
}

div[toc] ul {
	list-style-type: none;
}
div[toc] > ul {
	padding-left: 0;
}
div[toc] > ul > li {
	margin-bottom: 16px;
}
div[heading] {
	display: flex;
	justify-content: space-between;
	margin-top: 36px;
}
div[heading] > * {
	margin: 0;
}
div[heading] > a {
	font-size: 14px;
}

h4 {
	font-size: 1.1em;
}

div[footer] {
	margin-top: 32px;
	font-size: small;
}
div[footer] img {
	height: 1em;
	vertical-align: top;
}

code {
	font-size: 16px;
	font-weight: bold;
}
code[block] {
	font-size: initial;
	font-weight: initial;
	background-color: #DDD;
	padding: 2px;
	white-space: pre-wrap;
	word-wrap: break-word;
	display: block;
	padding: 1em;
	margin-top: 1em;
	margin-bottom: 1em;
}
code[block]:first-line {
	line-height: 0;
}