view website/src/site.css @ 1649:f7e2df85fc0a

add String.digest_message
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 29 Mar 2022 16:07:01 -0600
parents dd881eb03d87
children 5b8f056527a3
line wrap: on
line source


body {
	font-family: sans-serif;
	margin-left: 5%;
	margin-right: 5%;
}

a[href] {
	text-decoration: inherit;
}
a[href]:hover {
	text-decoration: underline;
}
a[href]:visited {
	color: #0000BB;
}

[small] {
	font-size: small;
}

div[link] {
	margin: 0.5em 0;
}


div[contents] {
	margin-bottom: 1em;
}
ul {
	margin: 0;
}
[heading] {
	margin-top: 2em;
}

h4 code {
	font-size: 1.4em;
}

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