nuttx/Documentation/style.css
Gregory Nutt 611aa8b998 Documentation/NuttXCCodingStandard.html: Fix description of comments on the right.
Documentation/NuttXCCodingStandard.html:
  - Fix a typo:  "be aligned so that the comment begins in the same comment on each line." Of course that should have been column.
  - Update a coding standard requirement.  With regard to Comments to the Right of Statements, the document said:  "If such comments are used, they should ... fit on one line."  This is not true any more.  In common practice (include the checks in nxstyle), comments to the right of statements may be continued in the following line.  The standard way of continuing such comments was also documented.
    In this case the coding standard actually contradicted iteself since first it says the that the comments to the right must fit on one line, but later illustrates (without description) how to continue a long right hand comment on the following line.

Documents/style.css:  It appears that a variable width font was being used for <pre> and <code>, that was really screwing up the presentation, especially in the coding standared where there are many examples illustrating correct vertical alignment.  The font type "Bitstream Vera Sans Mono" was replaced with "courier" for <pre> and <code>
2020-05-20 11:19:24 +08:00

85 lines
894 B
CSS

body
{
background: none;
font-family: sans-serif;
height: 100%;
}
a
{
color: #dd2f2f;
text-decoration: none;
}
a:hover
{
text-decoration: underline;
}
code
{
font-family: "courier";
color: #2b4893;
background: #f4f4f4;
padding-left: 0.25em;
padding-right: 0.25em;
}
pre
{
font-family: "courier";
background: #f4f4f4;
padding: 1em;
}
.container
{
overflow-x: hidden;
}
.toc
{
top: 0;
left: 0;
float: left;
width: 22%;
font-size: 80%;
overflow-y: scroll;
height: 100%;
position: fixed;
}
.toc tbody
{
font-size: 80%;
}
.toc .toc_table
{
margin-left: 1em;
}
.toc ul
{
padding-left: 1.5em;
}
.toc > ul
{
padding-left: 1.0em;
}
.toc h1
{
padding-left: 0.5em;
padding-top: 0.5em;
}
.main
{
padding-left: 1em;
padding-right: 1em;
width: 75%;
float: right;
}