1ac371369e
Reformat the tables of unsupported and ignored tags. Previous table format was not maintainable. Changing to use multi-column lists, so that entries can be easily sorted and updated. The displayed order is now by row instead of by column, which is decidedly easier to read. Other than removing duplicates, no change to content.
96 lines
1.5 KiB
CSS
96 lines
1.5 KiB
CSS
div.sectiontoc {
|
|
border-style: dotted;
|
|
border-width: 2px;
|
|
padding: 2pt;
|
|
}
|
|
|
|
h2 {
|
|
padding: 3px;
|
|
color: #000000;
|
|
border-bottom: 2px
|
|
solid #dddddd;
|
|
}
|
|
|
|
h3, h4 {
|
|
margin-left: 1em;
|
|
}
|
|
|
|
p,li,table,dl {
|
|
margin-left: 2em;
|
|
margin-right: 2em;
|
|
}
|
|
|
|
div.indent {
|
|
margin-left: 4em;
|
|
margin-right: 4em;
|
|
}
|
|
|
|
div.code {
|
|
border-style: solid;
|
|
border-width: 1px;
|
|
padding: 2pt;
|
|
margin-left: 4em;
|
|
margin-right: 4em;
|
|
background-color: #F0FFFF;
|
|
font-family: "Courier New", Courier, "Courier 10 Pitch", monospace;
|
|
}
|
|
|
|
div.targetlang {
|
|
border-style: solid;
|
|
border-width: 1px;
|
|
padding: 2pt;
|
|
margin-left: 4em;
|
|
margin-right: 4em;
|
|
background-color: #d7f6bb;
|
|
font-family: "Courier New", Courier, "Courier 10 Pitch", monospace;
|
|
}
|
|
|
|
div.shell {
|
|
border-style: solid;
|
|
border-width: 1px;
|
|
padding: 2pt;
|
|
margin-left: 4em;
|
|
margin-right: 4em;
|
|
background-color: #DCDCDC;
|
|
font-family: "Courier New", Courier, "Courier 10 Pitch", monospace;
|
|
}
|
|
|
|
div.diagram {
|
|
border-style: solid;
|
|
border-width: 1px;
|
|
padding: 2pt;
|
|
margin-left: 4em;
|
|
margin-right: 4em;
|
|
background-color: #FFEBCD;
|
|
font-family: "Courier New", Courier, "Courier 10 Pitch", monospace;
|
|
}
|
|
|
|
div.diagram li {
|
|
margin-left: 0;
|
|
}
|
|
|
|
ul li p {
|
|
margin-left: 0;
|
|
margin-right: 0;
|
|
}
|
|
|
|
ol li p {
|
|
margin-left: 0;
|
|
margin-right: 0;
|
|
}
|
|
|
|
dl dd p {
|
|
margin-left: 0;
|
|
margin-right: 0;
|
|
}
|
|
|
|
div.indent p {
|
|
margin-left: 0;
|
|
margin-right: 0;
|
|
}
|
|
|
|
pre, code, tt {
|
|
font-family: "Courier New", Courier, "Courier 10 Pitch", monospace;
|
|
}
|
|
|
|
body { font-family: serif; }
|