projects / ceph.git / blame
| Commit | Line | Data |
|---|---|---|
| 11fdf7f2 TL |
1 | /* CSS style for Seastar's tutorial. |
| 2 | * TODO: We also get some style for syntax highlighting inserted by our | |
| 3 | * use of "highlight-style tango" in configure.py. Perhaps we can insert | |
| 4 | * this style here too, for finer control. | |
| 5 | */ | |
| 6 | ||
| 7 | /* Some defaults */ | |
| 8 | body { | |
| 9 | color: #000000; | |
| 10 | background: #FFFFFF; | |
| 11 | font-size: 13pt; | |
| 12 | line-height: 1.10; | |
| 13 | font-family: arial, sans-serif; | |
| 14 | margin-left: 15pt; | |
| 15 | margin-right: 15pt; | |
| 16 | text-align: justify; | |
| 17 | } | |
| 18 | ||
| 19 | /* In older versions, Pandoc puts the title, author and date, if any, in its | |
| 20 | * own div id="header". In recent versions, it uses a "header" tag instead. | |
| 21 | */ | |
| 22 | div#header, header { | |
| 23 | border-top: 1px solid #aaa; | |
| 24 | border-bottom: 1px solid #aaa; | |
| 25 | background: #F0F0C0; | |
| 26 | margin: 10pt; | |
| 27 | margin-left: 10%; | |
| 28 | margin-right: 10%; | |
| 29 | } | |
| 30 | ||
| 31 | /* The title is in an h1.title, in the above div#header */ | |
| 32 | .title { | |
| 33 | color: #000000; | |
| 34 | margin: 5pt; | |
| 35 | text-align: center; | |
| 36 | font-family: serif; | |
| 37 | font-weight: bold; | |
| 38 | font-size: 32pt; | |
| 39 | } | |
| 40 | /* The author/date are h2.author and h3.date */ | |
| 41 | .author, .date { | |
| 42 | color: #000000; | |
| 43 | margin: 0pt; | |
| 44 | text-align: center; | |
| 45 | font-family: serif; | |
| 46 | font-weight: normal; | |
| 47 | font-size: 16pt; | |
| 48 | } | |
| 49 | ||
| 50 | /* table of contents is in div id="TOC" in older versions, or a nav id="TOC" | |
| 51 | * in newer versions */ | |
| 52 | div#TOC, nav#TOC { | |
| 53 | border-top: 1px solid #aaa; | |
| 54 | border-bottom: 1px solid #aaa; | |
| 55 | background: #F9F9F9; | |
| 56 | margin: 10pt; | |
| 57 | margin-left: 20%; | |
| 58 | margin-right: 20%; | |
| 59 | } | |
| 60 | ||
| 61 | ||
| 62 | h1, h2, h3, h4, h5, h6 { | |
| 63 | color: #EE3300; | |
| 64 | } | |
| 65 | ||
| 66 | a { | |
| 67 | text-decoration: none; | |
| 68 | } | |
| 69 | a:link, a:visited { | |
| 70 | color: #0000CC; | |
| 71 | } | |
| 72 | a:hover { | |
| 73 | color: #CC0000; | |
| 74 | text-decoration: underline; | |
| 75 | } | |
| 76 | ||
| 77 | ||
| 78 | /* Multiline code snippets are wrapped in a "code" inside a "pre". | |
| 79 | * Inline code snippets are just in a "code". | |
| 80 | */ | |
| 81 | code { | |
| 82 | background-color: #FFFFFF; | |
| 83 | /* BEGIN word wrap */ | |
| 84 | /* Need all the following to word wrap instead of scroll box */ | |
| 85 | /* This will override the overflow:auto if present */ | |
| 86 | white-space: pre-wrap; /* css-3 */ | |
| 87 | white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */ | |
| 88 | white-space: -pre-wrap; /* Opera 4-6 */ | |
| 89 | white-space: -o-pre-wrap; /* Opera 7 */ | |
| 90 | word-wrap: break-word; /* Internet Explorer 5.5+ */ | |
| 91 | /* END word wrap */ | |
| 92 | } | |
| 93 | pre { | |
| 94 | padding: 0.5em; | |
| 95 | border: 1px dotted #777; | |
| 96 | margin-left: 15pt; | |
| 97 | margin-right: 15pt; | |
| 98 | } | |
| 99 | pre, pre > code { | |
| 100 | background-color: #f8f8f8; | |
| 101 | } | |
| 102 | ||
| 103 | /* Fix stuff for printing, in case somebody tries to print the HTML instead | |
| 104 | * of getting a PDF and printing that. For example, too big fonts and big | |
| 105 | * margins may be a waste of paper. | |
| 106 | * buttondown.css has a nice trick for replacing links with the actual text | |
| 107 | * of the URL - might be nice to copy it one day. | |
| 108 | */ | |
| 109 | @media print { | |
| 110 | body { font-size: 11pt; } | |
| 111 | a { color: black; background: transparent; } | |
| 112 | pre { border: 1px solid #aaa; } | |
| 113 | } |