factor/extra/websites/concatenative/page.css

101 lines
1.6 KiB
CSS
Raw Normal View History

html {
box-sizing: border-box;
}
*, *:before, *:after {
box-sizing: inherit;
}
body {
margin: 0;
}
2008-06-17 01:10:46 -04:00
body, button {
font-size: 12pt;
font-family: sans-serif;
2020-02-27 19:49:48 -05:00
line-height: 150%;
2008-06-17 01:10:46 -04:00
}
textarea {
font-size: 12pt;
2008-06-17 01:10:46 -04:00
}
table {
border-spacing: 0;
border-collapse: collapse;
2008-06-17 01:10:46 -04:00
}
.link-button {
padding: 0;
background: none;
border: none;
2008-06-17 01:10:46 -04:00
}
a, .link { color: #104e8b; }
a:link, a:visited, a:active, .link { text-decoration: none; }
a:hover, .link:hover { text-decoration: underline; }
#container {
max-width: 1000px;
}
2008-06-17 01:10:46 -04:00
.error { color: #a00; }
.errors li { color: #a00; }
.field-label {
text-align: right;
2008-06-17 01:10:46 -04:00
}
.inline {
display: inline;
2008-06-17 01:10:46 -04:00
}
.navbar {
margin: 0;
padding: 15px;
border-bottom: 1px solid #ccc;
2008-06-17 01:10:46 -04:00
}
.navbar a, .navbar .link {
margin-right: 10px;
2008-06-17 01:10:46 -04:00
}
.big-field-label {
vertical-align: top;
2008-06-17 01:10:46 -04:00
}
.description pre {
padding: 5px;
border: 1px dashed #ccc;
background-color: #f5f5f5;
overflow: auto;
font-size: smaller;
2008-06-17 01:10:46 -04:00
}
.description h1 { font-size: 1.5em; }
.description h2 { font-size: 1.17em; }
.description h3 { font-size: 1.0em; }
.description h4 { font-size: 0.83em; }
.description h5 { font-size: 0.67em; }
2008-06-17 01:10:46 -04:00
.description p:first-child { margin-top: 0px; }
.description p:last-child { margin-bottom: 0px; }
2008-06-17 01:10:46 -04:00
.description table, .description td {
border-color: #666;
border-style: solid;
}
.description table {
border-width: 0 0 1px 1px;
border-spacing: 0;
border-collapse: collapse;
}
.description td {
margin: 0;
padding: 4px;
border-width: 1px 1px 0 0;
}