steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

webapps.wiki: moving class description to wiki.css.

master
John Benediktsson 2020-02-27 17:21:33 -08:00
parent ba09d70b8b
commit 741d9e2dd6
2 changed files with 37 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
extra/webapps/wiki/wiki.css
View File

@ -74,6 +74,38 @@
border-bottom: none;
}
.description pre {
padding: 5px;
border: 1px dashed #ccc;
background-color: #f5f5f5;
}
.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; }
.description p:first-child { margin-top: 0px; }
.description p:last-child { margin-bottom: 0px; }
.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;
}
.footer {
border-top: 1px solid #ccc;
padding-left: 15px;

39
extra/websites/concatenative/page.css
View File

@ -25,6 +25,11 @@ table {
border-collapse: collapse;
}
pre {
overflow: auto;
font-size: smaller;
}
.link-button {
padding: 0;
background: none;
@ -64,37 +69,3 @@ a:hover, .link:hover { text-decoration: underline; }
.big-field-label {
vertical-align: top;
}
.description pre {
padding: 5px;
border: 1px dashed #ccc;
background-color: #f5f5f5;
overflow: auto;
font-size: smaller;
}
.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; }
.description p:first-child { margin-top: 0px; }
.description p:last-child { margin-bottom: 0px; }
.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;
}