ceph/src/seastar/doc/template.css

   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 }