📄 19－gnu general public license.mht
字号:
}
H6.AppendixTitle {
FONT-WEIGHT: bold; FONT-SIZE: 28pt; MARGIN-BOTTOM: 60pt; =
VERTICAL-ALIGN: baseline; FONT-FAMILY: Helvetica; TEXT-ALIGN: left; =
TEXT-DECORATION: none
}
P.AppendixTitleTOC {
MARGIN-TOP: 6pt; FONT-WEIGHT: bold; FONT-SIZE: 12pt; MARGIN-BOTTOM: =
3pt; VERTICAL-ALIGN: baseline; MARGIN-RIGHT: 18pt; FONT-STYLE: italic; =
FONT-FAMILY: Times; TEXT-ALIGN: left; TEXT-DECORATION: none
}
P.Body {
MARGIN-TOP: 4pt; FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left; TEXT-DECORATION: none
}
P.BodyAfterHead {
VERTICAL-ALIGN: baseline; FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BodyFollow {
MARGIN-TOP: 4pt; FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BodyHang {
MARGIN-TOP: 4pt; FONT-SIZE: 12pt; MARGIN-LEFT: 16pt; VERTICAL-ALIGN: =
baseline; FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BodyHang1 {
MARGIN-TOP: 3pt; FONT-SIZE: 12pt; MARGIN-LEFT: 16pt; VERTICAL-ALIGN: =
baseline; FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BodyHang1List {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; FONT-FAMILY: Times; =
TEXT-ALIGN: left
}
P.BodyHang1Next {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; FONT-FAMILY: Times; =
TEXT-ALIGN: left
}
P.BodyHang2 {
MARGIN-TOP: 3pt; FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BodyHang2List {
FONT-SIZE: 12pt; MARGIN-LEFT: 12pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BodyHang2Next {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; FONT-FAMILY: Times; =
TEXT-ALIGN: left
}
P.BodyHang3 {
MARGIN-TOP: 3pt; FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BodyHang3List {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; FONT-FAMILY: Times; =
TEXT-ALIGN: left
}
P.BodyHang3Next {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; FONT-FAMILY: Times; =
TEXT-ALIGN: left
}
P.BodyListFollow {
MARGIN-TOP: 3pt; FONT-SIZE: 12pt; MARGIN-LEFT: 16pt; VERTICAL-ALIGN: =
baseline; FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BodyListFollow2 {
FONT-SIZE: 12pt; MARGIN-LEFT: 32pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BodyListFollow3 {
FONT-SIZE: 12pt; MARGIN-LEFT: 48pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BodyListFollowa {
MARGIN-TOP: 3pt; FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BodyListFollowa1 {
MARGIN-TOP: 3pt; FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.BookName {
FONT-WEIGHT: bold; FONT-SIZE: 18pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
P.BookNameTOC {
MARGIN-TOP: 6pt; FONT-WEIGHT: bold; FONT-SIZE: 12pt; MARGIN-BOTTOM: =
6pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
P.BulletSideHead {
MARGIN-TOP: 3pt; FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.CellBody {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; FONT-FAMILY: Times; =
TEXT-ALIGN: left
}
P.CellCode {
FONT-SIZE: 9pt; VERTICAL-ALIGN: baseline; FONT-FAMILY: Courier; =
TEXT-ALIGN: left
}
P.CellHeading {
FONT-WEIGHT: bold; FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; =
FONT-STYLE: italic; FONT-FAMILY: Times; TEXT-ALIGN: left; =
TEXT-DECORATION: none
}
H1.ChapterTitle {
FONT-WEIGHT: bold; FONT-SIZE: 28pt; MARGIN-BOTTOM: 10pt; =
VERTICAL-ALIGN: baseline; COLOR: #000077; FONT-FAMILY: Helvetica; =
TEXT-ALIGN: left; TEXT-DECORATION: none
}
H2.ChapterTitle {
FONT-WEIGHT: bold; FONT-SIZE: 28pt; MARGIN-BOTTOM: 10pt; =
VERTICAL-ALIGN: baseline; COLOR: #000077; FONT-FAMILY: Helvetica; =
TEXT-ALIGN: left; TEXT-DECORATION: none
}
H3.ChapterTitle {
FONT-WEIGHT: bold; FONT-SIZE: 28pt; MARGIN-BOTTOM: 10pt; =
VERTICAL-ALIGN: baseline; COLOR: #000077; FONT-FAMILY: Helvetica; =
TEXT-ALIGN: left; TEXT-DECORATION: none
}
H4.ChapterTitle {
FONT-WEIGHT: bold; FONT-SIZE: 28pt; MARGIN-BOTTOM: 10pt; =
VERTICAL-ALIGN: baseline; COLOR: #000077; FONT-FAMILY: Helvetica; =
TEXT-ALIGN: left; TEXT-DECORATION: none
}
H5.ChapterTitle {
FONT-WEIGHT: bold; FONT-SIZE: 28pt; MARGIN-BOTTOM: 10pt; =
VERTICAL-ALIGN: baseline; COLOR: #000077; FONT-FAMILY: Helvetica; =
TEXT-ALIGN: left; TEXT-DECORATION: none
}
H6.ChapterTitle {
FONT-WEIGHT: bold; FONT-SIZE: 28pt; MARGIN-BOTTOM: 10pt; =
VERTICAL-ALIGN: baseline; COLOR: #000077; FONT-FAMILY: Helvetica; =
TEXT-ALIGN: left; TEXT-DECORATION: none
}
P.ChapterTitleTOC {
MARGIN-TOP: 6pt; FONT-WEIGHT: bold; FONT-SIZE: 12pt; MARGIN-BOTTOM: =
6pt; VERTICAL-ALIGN: baseline; MARGIN-RIGHT: 54pt; FONT-FAMILY: Times; =
TEXT-ALIGN: left; TEXT-DECORATION: none
}
P.CodeExample {
MARGIN-TOP: 0pt; FONT-SIZE: 9pt; MARGIN-BOTTOM: 0pt; VERTICAL-ALIGN: =
baseline; FONT-FAMILY: Courier; TEXT-ALIGN: left
}
P.CodeExample2 {
MARGIN-TOP: 0pt; FONT-SIZE: 9pt; MARGIN-BOTTOM: 0pt; VERTICAL-ALIGN: =
baseline; FONT-FAMILY: Courier; TEXT-ALIGN: left
}
P.CodeScreen {
FONT-SIZE: 9pt; VERTICAL-ALIGN: baseline; FONT-FAMILY: Courier; =
TEXT-ALIGN: left
}
P.CodeScreen2 {
FONT-SIZE: 9pt; VERTICAL-ALIGN: baseline; FONT-FAMILY: Courier; =
TEXT-ALIGN: left
}
P.ContentsList {
MARGIN-TOP: 3pt; FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.CopyrightNotice {
MARGIN-TOP: 3pt; FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
H2.Descriptor {
MARGIN-TOP: 6pt; FONT-SIZE: 16pt; MARGIN-BOTTOM: 6pt; VERTICAL-ALIGN: =
baseline; FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.DescriptorTOC {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; MARGIN-RIGHT: 18pt; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
H2.DescriptorTOC {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; MARGIN-RIGHT: 18pt; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
H3.DescriptorTOC {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; MARGIN-RIGHT: 18pt; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
H4.DescriptorTOC {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; MARGIN-RIGHT: 18pt; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
H5.DescriptorTOC {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; MARGIN-RIGHT: 18pt; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
H6.DescriptorTOC {
FONT-SIZE: 12pt; VERTICAL-ALIGN: baseline; MARGIN-RIGHT: 18pt; =
FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.Equation {
MARGIN-TOP: 10pt; FONT-SIZE: 10pt; MARGIN-BOTTOM: 6pt; FONT-FAMILY: =
Times; TEXT-ALIGN: center
}
P.Example {
MARGIN-TOP: 3pt; FONT-SIZE: 10pt; MARGIN-BOTTOM: 3pt; FONT-FAMILY: =
Courier; TEXT-ALIGN: left
}
P.ExampleScreen {
FONT-SIZE: 10pt; FONT-FAMILY: Courier; TEXT-ALIGN: left
}
P.ExampleTitle {
FONT-WEIGHT: bold; FONT-SIZE: 12pt; FONT-FAMILY: Times; TEXT-ALIGN: =
left
}
P.Extract {
MARGIN-TOP: 7pt; FONT-SIZE: 9pt; MARGIN-RIGHT: 18pt; FONT-FAMILY: =
Times; TEXT-ALIGN: left
}
P.Figure {
FONT-SIZE: 12pt; FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.FigureLabel {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 12pt; MARGIN-BOTTOM: =
4pt; FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.FigureLOF {
MARGIN-TOP: 2pt; FONT-SIZE: 10pt; FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.FigureText {
FONT-SIZE: 12pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
P.FigureTitle {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 12pt; FONT-FAMILY: =
Times; TEXT-ALIGN: left
}
P.Footnote {
MARGIN-TOP: 3pt; FONT-SIZE: 9pt; FONT-FAMILY: Times; TEXT-ALIGN: left
}
P.GlossarySeparator {
MARGIN-TOP: 16pt; FONT-WEIGHT: bold; FONT-SIZE: 18pt; FONT-FAMILY: =
Helvetica; TEXT-ALIGN: left
}
P.GlossaryTerm {
MARGIN-TOP: 6pt; FONT-WEIGHT: bold; FONT-SIZE: 13pt; FONT-FAMILY: =
Helvetica; TEXT-ALIGN: left
}
P.Gotos {
MARGIN-TOP: 8pt; FONT-WEIGHT: bold; FONT-SIZE: 10pt; COLOR: #000077; =
FONT-FAMILY: Helvetica; TEXT-DECORATION: none
}
P.GroupTitlesIX {
MARGIN-TOP: 15pt; FONT-WEIGHT: bold; FONT-SIZE: 20pt; COLOR: #000077; =
FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H1.Heading1Top {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 22pt; MARGIN-BOTTOM: =
13pt; MARGIN-RIGHT: 48.023pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H2.Heading1Top {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 22pt; MARGIN-BOTTOM: =
13pt; MARGIN-RIGHT: 48.023pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H4.Heading1Top {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 22pt; MARGIN-BOTTOM: =
13pt; MARGIN-RIGHT: 48.023pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H5.Heading1Top {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 22pt; MARGIN-BOTTOM: =
13pt; MARGIN-RIGHT: 48.023pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H6.Heading1Top {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 22pt; MARGIN-BOTTOM: =
13pt; MARGIN-RIGHT: 48.023pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H1.Heading1 {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 22pt; MARGIN-BOTTOM: =
13pt; MARGIN-RIGHT: 48.023pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H2.Heading1 {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 22pt; MARGIN-BOTTOM: =
13pt; MARGIN-RIGHT: 48.023pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H4.Heading1 {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 22pt; MARGIN-BOTTOM: =
13pt; MARGIN-RIGHT: 48.023pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H5.Heading1 {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 22pt; MARGIN-BOTTOM: =
13pt; MARGIN-RIGHT: 48.023pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H6.Heading1 {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 22pt; MARGIN-BOTTOM: =
13pt; MARGIN-RIGHT: 48.023pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H3.Heading1 {
MARGIN-TOP: 30pt; FONT-WEIGHT: bold; FONT-SIZE: 22pt; MARGIN-BOTTOM: =
13pt; COLOR: #000077; MARGIN-RIGHT: 48.023pt; FONT-FAMILY: Helvetica; =
TEXT-ALIGN: left; TEXT-DECORATION: none
}
P.Heading1TOC {
MARGIN-TOP: 2pt; FONT-SIZE: 12pt; MARGIN-BOTTOM: 0pt; MARGIN-LEFT: =
12pt; FONT-FAMILY: Times; TEXT-ALIGN: left
}
H3.Heading2 {
MARGIN-TOP: 8pt; FONT-WEIGHT: bold; FONT-SIZE: 16pt; MARGIN-BOTTOM: =
2pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
P.Heading2TOC {
MARGIN-TOP: 0pt; FONT-SIZE: 12pt; MARGIN-BOTTOM: 0pt; MARGIN-LEFT: =
24pt; VERTICAL-ALIGN: baseline; FONT-FAMILY: Times; TEXT-ALIGN: left
}
H4.Heading3 {
MARGIN-TOP: 7pt; FONT-WEIGHT: bold; FONT-SIZE: 14pt; FONT-FAMILY: =
Helvetica; TEXT-ALIGN: left
}
P.Heading3TOC {
MARGIN-TOP: 3pt; FONT-SIZE: 12pt; FONT-FAMILY: Times; TEXT-ALIGN: left
}
H5.Heading4 {
MARGIN-TOP: 4pt; FONT-WEIGHT: bold; FONT-SIZE: 12pt; FONT-FAMILY: =
Helvetica; TEXT-ALIGN: left
}
H1.Heading5 {
BORDER-TOP: #800000 thick double; MARGIN-TOP: 50pt; FONT-WEIGHT: bold; =
FONT-SIZE: 20pt; MARGIN-BOTTOM: 6pt; COLOR: #800000; FONT-STYLE: =
oblique; FONT-FAMILY: Helvetica; BACKGROUND-COLOR: #dcdcdc; TEXT-ALIGN: =
left; TEXT-DECORATION: none
}
H2.Heading5 {
BORDER-TOP: #800000 thick double; MARGIN-TOP: 50pt; FONT-WEIGHT: bold; =
FONT-SIZE: 20pt; MARGIN-BOTTOM: 6pt; COLOR: #800000; FONT-STYLE: =
oblique; FONT-FAMILY: Helvetica; BACKGROUND-COLOR: #dcdcdc; TEXT-ALIGN: =
left; TEXT-DECORATION: none
}
H3.Heading5 {
BORDER-TOP: #800000 thick double; MARGIN-TOP: 50pt; FONT-WEIGHT: bold; =
FONT-SIZE: 20pt; MARGIN-BOTTOM: 6pt; COLOR: #800000; FONT-STYLE: =
oblique; FONT-FAMILY: Helvetica; BACKGROUND-COLOR: #dcdcdc; TEXT-ALIGN: =
left; TEXT-DECORATION: none
}
H4.Heading5 {
BORDER-TOP: #800000 thick double; MARGIN-TOP: 50pt; FONT-WEIGHT: bold; =
FONT-SIZE: 20pt; MARGIN-BOTTOM: 6pt; COLOR: #800000; FONT-STYLE: =
oblique; FONT-FAMILY: Helvetica; BACKGROUND-COLOR: #dcdcdc; TEXT-ALIGN: =
left; TEXT-DECORATION: none
}
H5.Heading5 {
BORDER-TOP: #800000 thick double; MARGIN-TOP: 50pt; FONT-WEIGHT: bold; =
FONT-SIZE: 20pt; MARGIN-BOTTOM: 6pt; COLOR: #800000; FONT-STYLE: =
oblique; FONT-FAMILY: Helvetica; BACKGROUND-COLOR: #dcdcdc; TEXT-ALIGN: =
left; TEXT-DECORATION: none
}
TABLE {
PADDING-LEFT: 10pt
}
P.Heading5TOC {
FONT-SIZE: 12pt; MARGIN-RIGHT: 54pt; FONT-STYLE: italic; FONT-FAMILY: =
Times; TEXT-ALIGN: left
}
H1.HeadingFront {
MARGIN-TOP: 10pt; FONT-WEIGHT: bold; FONT-SIZE: 18pt; MARGIN-BOTTOM: =
3pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H2.HeadingFront {
MARGIN-TOP: 10pt; FONT-WEIGHT: bold; FONT-SIZE: 18pt; MARGIN-BOTTOM: =
3pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H3.HeadingFront {
MARGIN-TOP: 10pt; FONT-WEIGHT: bold; FONT-SIZE: 18pt; MARGIN-BOTTOM: =
3pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H4.HeadingFront {
MARGIN-TOP: 10pt; FONT-WEIGHT: bold; FONT-SIZE: 18pt; MARGIN-BOTTOM: =
3pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H5.HeadingFront {
MARGIN-TOP: 10pt; FONT-WEIGHT: bold; FONT-SIZE: 18pt; MARGIN-BOTTOM: =
3pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
H6.HeadingFront {
MARGIN-TOP: 10pt; FONT-WEIGHT: bold; FONT-SIZE: 18pt; MARGIN-BOTTOM: =
3pt; FONT-FAMILY: Helvetica; TEXT-ALIGN: left
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -