117 lines
2.1 KiB
CSS
117 lines
2.1 KiB
CSS
.book-chapter {
|
|
margin-left: 0;
|
|
margin-bottom: 16px;
|
|
margin-top: 1em;
|
|
margin-right: 0;
|
|
display: none;
|
|
font-weight: bold;
|
|
font-size: 172%; /* 3 */
|
|
}
|
|
.calibre {
|
|
margin-left: 5px;
|
|
margin-bottom: 0;
|
|
margin-top: 0;
|
|
margin-right: 5px;
|
|
font-size: 100%; /* 0 */
|
|
}
|
|
.calibre1 {
|
|
display: none;
|
|
}
|
|
.calibre2 {
|
|
margin-left: 0;
|
|
margin-bottom: 16px;
|
|
margin-top: 1em;
|
|
margin-right: 0;
|
|
font-weight: bold;
|
|
font-size: 172%; /* 3 */
|
|
}
|
|
.calibre3 {
|
|
margin-left: 0;
|
|
margin-bottom: 16px;
|
|
margin-top: 1em;
|
|
margin-right: 0;
|
|
font-weight: bold;
|
|
font-size: 172%; /* 3 */
|
|
}
|
|
.calibre4 {
|
|
margin-left: 0;
|
|
margin-bottom: 16px;
|
|
margin-top: 0;
|
|
margin-right: 0;
|
|
}
|
|
.calibre5 {
|
|
font-style: italic;
|
|
}
|
|
.calibre6 {
|
|
color: #4183c4;
|
|
}
|
|
.calibre8 {
|
|
font-weight: bold;
|
|
}
|
|
.calibre9 {
|
|
margin-left: 0;
|
|
margin-bottom: 0;
|
|
margin-top: 0;
|
|
margin-right: 0;
|
|
font-family: "Consolas", "Liberation Mono", "Menlo", "Courier", "monospace";
|
|
font-size: 83%; /* -1 */
|
|
}
|
|
.calibre10 {
|
|
margin-left: 0;
|
|
margin-bottom: 16px;
|
|
margin-top: 0;
|
|
margin-right: 0;
|
|
white-space: pre-wrap;
|
|
font-family: "Consolas", "Liberation Mono", "Menlo", "Courier", "monospace";
|
|
font-size: 83%; /* -1 */
|
|
}
|
|
.calibre15 {
|
|
margin-left: 0;
|
|
margin-bottom: 16px;
|
|
margin-top: 1em;
|
|
margin-right: 0;
|
|
font-weight: bold;
|
|
font-size: 120%; /* 1 */
|
|
}
|
|
.hljs-comment {
|
|
color: #8e908c;
|
|
}
|
|
.hljs-keyword {
|
|
color: #8959a8;
|
|
}
|
|
.hljs-preprocessor {
|
|
color: #f5871f;
|
|
}
|
|
.hljs-string {
|
|
color: #718c00;
|
|
}
|
|
.lang-c {
|
|
margin-left: 0;
|
|
margin-bottom: 0;
|
|
margin-top: 0;
|
|
margin-right: 0;
|
|
white-space: pre-wrap;
|
|
font-family: "Consolas", "Liberation Mono", "Menlo", "Courier", "monospace";
|
|
font-size: 100%; /* 0 */
|
|
}
|
|
.list-group {
|
|
margin-bottom: 16px;
|
|
margin-top: 0;
|
|
margin-right: 0;
|
|
}
|
|
.page {
|
|
font-family: "sans-serif";
|
|
color: #333333;
|
|
}
|
|
.table {
|
|
width: 100%;
|
|
margin-bottom: 16px;
|
|
margin-top: 0;
|
|
text-indent: 0;
|
|
}
|
|
.table1 {
|
|
width: 100%;
|
|
margin-bottom: 16px;
|
|
margin-top: 0;
|
|
text-indent: 0;
|
|
}
|