doc/pasdoc.css

   1 body, html, table.container {
   2   margin: 0;
   3   padding: 0;
   4 }
   5
   6 body {
   7   font-family: Verdana,Arial;
   8   color: black;
   9   background-color: white;
  10   font-size: 12px;
  11 }
  12
  13 table.container {
  14   width: 100%;
  15   border-spacing: 0;
  16 }
  17 table.container td {
  18   vertical-align: top;
  19 }
  20
  21 td.navigation {
  22   width: 200px;
  23   color: white;
  24   background-color: #787878;
  25   margin: 0;
  26   /* padding-bottom is a little larger, to make navigation column have some
  27      nice height even when td.content column is very small. */
  28   padding: 1em 1em 100px 1em;
  29 }
  30 td.navigation p { padding: 0; }
  31 td.navigation h2 { margin-top: 0; }
  32
  33 td.content { padding: 1em; }
  34 td.content h1 { margin-top: 0; }
  35
  36 img { border:0px; }
  37
  38 a:link {color:#C91E0C; text-decoration: none; }
  39 a:visited {color:#7E5C31; text-decoration: none; }
  40 a:hover {text-decoration: underline; }
  41 a:active {text-decoration: underline; }
  42
  43 a.navigation:link { color: white; text-decoration: none; }
  44 a.navigation:visited { color: white; text-decoration: none; }
  45 a.navigation:hover { color: white; font-weight: bold; text-decoration: none; }
  46 a.navigation:active { color: white; text-decoration: none; }
  47
  48 a.bold:link {color:#C91E0C; text-decoration: none; font-weight:bold; }
  49 a.bold:visited {color:#7E5C31; text-decoration: none; font-weight:bold; }
  50 a.bold:hover {text-decoration: underline; font-weight:bold; }
  51 a.bold:active {text-decoration: underline; font-weight:bold; }
  52
  53 a.section {color: green; text-decoration: none; font-weight: bold; }
  54 a.section:hover {color: green; text-decoration: underline; font-weight: bold; }
  55
  56 ul.useslist a:link {color:#C91E0C; text-decoration: none; font-weight:bold; }
  57 ul.useslist a:visited {color:#7E5C31; text-decoration: none; font-weight:bold; }
  58 ul.useslist a:hover {text-decoration: underline; font-weight:bold; }
  59 ul.useslist a:active {text-decoration: underline; font-weight:bold; }
  60
  61 ul.hierarchy { list-style-type:none; }
  62 ul.hierarchylevel { list-style-type:none; }
  63
  64 p.unitlink a:link {color:#C91E0C; text-decoration: none; font-weight:bold; }
  65 p.unitlink a:visited {color:#7E5C31; text-decoration: none; font-weight:bold; }
  66 p.unitlink a:hover {text-decoration: underline; font-weight:bold; }
  67 p.unitlink a:active {text-decoration: underline; font-weight:bold; }
  68
  69 tr.list { background: #FFBF44; }
  70 tr.list2 { background: #FFC982; }
  71 tr.listheader { background: #C91E0C; color: white; }
  72
  73 table.wide_list { border-spacing:2px; width:100%; }
  74 table.wide_list td { vertical-align:top; padding:4px; }
  75
  76 table.markerlegend { width:auto; }
  77 table.markerlegend td.legendmarker { text-align:center; }
  78
  79 table.sections { background:white; }
  80 table.sections td {background:lightgray; }
  81
  82 table.summary td.itemcode { width:100%; }
  83 table.detail td.itemcode { width:100%; }
  84
  85 td.itemname {white-space:nowrap; }
  86 td.itemunit {white-space:nowrap; }
  87 td.itemdesc { width:100%; }
  88
  89 div.nodescription { color:red; }
  90 dl.parameters dt { color:blue; }
  91
  92 /* Various browsers have various default styles for <h6>,
  93    sometimes ugly for our purposes, so it's best to set things
  94    like font-size and font-weight in out pasdoc.css explicitly. */
  95 h6.description_section {
  96   /* font-size 100% means that it has the same font size as the
  97      parent element, i.e. normal description text */
  98   font-size: 100%;
  99   font-weight: bold;
 100   /* By default browsers usually have some large margin-bottom and
 101      margin-top for <h1-6> tags. In our case, margin-bottom is
 102      unnecessary, we want to visually show that description_section
 103      is closely related to content below. In this situation
 104      (where the font size is just as a normal text), smaller bottom
 105      margin seems to look good. */
 106   margin-bottom: 0em;
 107 }
 108
 109 /* Style applied to Pascal code in documentation
 110    (e.g. produced by @longcode tag) } */
 111 span.pascal_string { color: #000080; }
 112 span.pascal_keyword { font-weight: bolder; }
 113 span.pascal_comment { color: #000080; font-style: italic; }
 114 span.pascal_compiler_comment { color: #008000; }
 115 span.pascal_numeric { }
 116 span.pascal_hex { }
 117
 118 p.hint_directive { color: red; }
 119
 120 input#search_text { }
 121 input#search_submit_button { }
 122
 123 acronym.mispelling { background-color: #ffa; }
 124
 125 /* Actually this reduces vertical space between *every* paragraph
 126    inside list with @itemSpacing(compact).
 127    While we would like to reduce this space only for the
 128    top of 1st and bottom of last paragraph within each list item.
 129    But, well, user probably will not do any paragraph breaks
 130    within a list with @itemSpacing(compact) anyway, so it's
 131    acceptable solution. */
 132 ul.compact_spacing p { margin-top: 0em; margin-bottom: 0em; }
 133 ol.compact_spacing p { margin-top: 0em; margin-bottom: 0em; }
 134 dl.compact_spacing p { margin-top: 0em; margin-bottom: 0em; }
 135
 136 /* Style for table created by @table tags:
 137    just some thin border.
 138
 139    This way we have some borders around the cells
 140    (so cells are visibly separated), but the border
 141    "blends with the background" so it doesn't look too ugly.
 142    Hopefully it looks satisfactory in most cases and for most
 143    people.
 144
 145    We add padding for cells, otherwise they look too close.
 146    This is normal thing to do when border-collapse is set to
 147    collapse (because this eliminates spacing between cells).
 148 */
 149 table.table_tag { border-collapse: collapse; }
 150 table.table_tag td { border: 1pt solid gray; padding: 0.3em; }
 151 table.table_tag th { border: 1pt solid gray; padding: 0.3em; }
 152
 153 table.detail {
 154   border: 1pt solid gray;
 155   margin-top: 0.3em;
 156   margin-bottom: 0.3em;
 157 }
 158
 159 .search-form { white-space: nowrap; }
 160 .search-input, .search-button { display: inline-block; vertical-align: middle; }
 161
 162 /* Do not make extra vertical space at the beginning/end of table cells.
 163    We need ">" selector, to not change paragraphs inside lists inside
 164    table cells. */
 165 table.table_tag td > p:first-child,
 166 table.table_tag th > p:first-child,
 167        td.itemdesc > p:first-child { margin-top: 0em; }
 168
 169 table.table_tag td > p:last-child,
 170 table.table_tag th > p:last-child,
 171        td.itemdesc > p:last-child { margin-bottom: 0em; }