📄 ecma334.css
字号:
body
{
font-family: "Ariel", sans-serif;
background: white;
color: black;
margin-left: 1.0em;
margin-right: 1.0em;
font-size: 0.8em;
}
/* -------------------------------------------- */
.heading
{
font-size: 2em;
font-weight: bold;
display: block;
}
/* -------------------------------------------- */
.navigate
{
display: block;
text-align: right;
font-size: 1em;
}
/* -------------------------------------------- */
.toc-line
{
display: block;
}
.toc-space
{
visibility: hidden;
}
/* -------------------------------------------- */
.clause-depth
{
display: block;
color: black;
font-style: normal;
font-size: 1.5em;
}
.clause-number-link
{
color: black;
}
.clause-title-previous
{
color: gray;
}
/* -------------------------------------------- */
.locator
{
display: block;
border-top: thin solid gray;
text-align: right;
color: navy;
font-weight: bold;
}
.paragraph
{
padding-top: 0.5em;
padding-bottom: 0.5em;
display: block;
}
.sentence
{
display: inline;
}
.sentence-number
{
color: navy;
background: yellow;
font-weight: bold;
}
/* -------------------------------------------- */
.grammar-production
{
padding-top: 1em;
padding-bottom: 1em;
display: block;
font-size: 0.9em;
}
.grammar-production.name
{
text-indent: 2em;
font-family: "Courier New", Courier, monospace;
font-style: italic;
background: moccasin;
}
.grammar-production.rhs
{
display: block;
text-indent: 4em;
font-family: "Courier New", Courier, monospace;
}
.grammar-production.rhs.non-terminal
{
font-style: italic;
}
.grammar-production.rhs.terminal
{
color: black;
font-weight: bold;
}
.grammar-production.rhs.keyword
{
color: navy;
font-weight: bold;
}
/* -------------------------------------------- */
.ruler
{
display: block;
border-top: thin solid gray;
padding: 1em;
}
/* -------------------------------------------- */
.symbol
{
font-family: "Courier New", Courier, monospace;
color: black;
font-weight: bold;
}
.keyword
{
font-family: "Courier New", Courier, monospace;
color: navy;
font-weight: bold;
}
.informative .keyword,
.example .keyword,
.note .keyword,
.example .symbol,
.note .symbol
{
font-family: "Courier New", Courier, monospace;
color: green;
font-weight: bold;
}
/* -------------------------------------------- */
.example pre.code-example,
.note pre.code-example,
.informative pre.code-example
{
margin-left: 8em;
font-family: "Courier", monospace;
color: green;
background: moccasin;
font-size: 0.4em;
font-weight: bold;
}
pre.code-example
{
margin-left: 8em;
font-family: "Courier", monospace;
color: black;
background: moccasin;
font-size: 0.4em;
font-weight: bold;
}
/* -------------------------------------------- */
.term-definition
{
font-weight: bold;
}
li
{
display: block;
padding-top: 0.5em;
}
/* -------------------------------------------- */
.informative,
.example,
.note,
.informative table tr th,
.informative table tr td,
.example table tr th,
.example table tr td,
.note table tr th,
.note table tr td
{
color: green;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -