view web/main.css @ 100:44e8aaa20d02 default tip

Fix the format of archive links.
author John "Elwin" Edwards
date Wed, 03 Aug 2022 20:49:38 -0400
parents b396f3c8e7bc
children
line wrap: on
line source

html {
	background-color: #C0FFC0;
	color: #101040;
	font-family: sans-serif;
}

h1 {
	text-align: center;
}

h1, h2, h3 {
	font-family: Inconsolata, monospace;
}

div.content {
	margin: 0 auto;
	width: 75%;
}

div.nav {
	font-size: 0.8em;
	background-color: #E0FFE0;
	padding: 0.3em;
}

p.cimage {
	text-align: center;
}

ul {
	list-style-type: none;
}

form {
	width: 90%;
	margin: 1.5em auto;
	border-top: 1px solid #101040;
	border-bottom: 1px solid #101040;
}

form div {
	margin: 0.6em auto;
}

span.metavar {
	font-style: italic;
}

div.foot {
	margin-top: 1em;
	font-size: 0.8em;
	background-color: #E0FFE0;
	padding: 0.3em;
	text-align: center;
}

div.foot a {
	padding: 0 0.6em;
}