512 lines
20 KiB
CSS
512 lines
20 KiB
CSS
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
<html xmlns='http://www.w3.org/1999/xhtml' xml:lang='en' lang='en'>
|
|
<head>
|
|
<title>datamash.git - GNU Datamash</title>
|
|
<meta name='generator' content='cgit v0.9.0.2'/>
|
|
<meta name='robots' content='index, nofollow'/>
|
|
<link rel='stylesheet' type='text/css' href='/cgit/cgit.css'/>
|
|
<link rel='shortcut icon' href='/gitweb/git-favicon.png'/>
|
|
<link rel='alternate' title='Atom feed' href='http://git.savannah.gnu.org/cgit/datamash.git/atom/doc/datamash-texinfo.css?h=master' type='application/atom+xml'/>
|
|
</head>
|
|
<body>
|
|
<div id='cgit'><table id='header'>
|
|
<tr>
|
|
<td class='logo' rowspan='2'><a href='/cgit/'><img src='/cgit/cgit.png' alt='cgit logo'/></a></td>
|
|
<td class='main'><a href='/cgit/'>index</a> : <a title='datamash.git' href='/cgit/datamash.git/'>datamash.git</a></td><td class='form'><form method='get' action=''>
|
|
<select name='h' onchange='this.form.submit();'>
|
|
<option value='describe'>describe</option>
|
|
<option value='devel'>devel</option>
|
|
<option value='master' selected='selected'>master</option>
|
|
<option value='prerelease_test'>prerelease_test</option>
|
|
</select> <input type='submit' name='' value='switch'/></form></td></tr>
|
|
<tr><td class='sub'>GNU Datamash</td><td class='sub right'></td></tr></table>
|
|
<table class='tabs'><tr><td>
|
|
<a href='/cgit/datamash.git/'>summary</a><a href='/cgit/datamash.git/refs/'>refs</a><a href='/cgit/datamash.git/log/doc/datamash-texinfo.css'>log</a><a class='active' href='/cgit/datamash.git/tree/doc/datamash-texinfo.css'>tree</a><a href='/cgit/datamash.git/commit/doc/datamash-texinfo.css'>commit</a><a href='/cgit/datamash.git/diff/doc/datamash-texinfo.css'>diff</a><a href='/cgit/datamash.git/about/'>about</a></td><td class='form'><form class='right' method='get' action='/cgit/datamash.git/log/doc/datamash-texinfo.css'>
|
|
<select name='qt'>
|
|
<option value='grep'>log msg</option>
|
|
<option value='author'>author</option>
|
|
<option value='committer'>committer</option>
|
|
<option value='range'>range</option>
|
|
</select>
|
|
<input class='txt' type='text' size='10' name='q' value=''/>
|
|
<input type='submit' value='search'/>
|
|
</form>
|
|
</td></tr></table>
|
|
<div class='path'>path: <a href='/cgit/datamash.git/tree/'>root</a>/<a href='/cgit/datamash.git/tree/doc'>doc</a>/<a href='/cgit/datamash.git/tree/doc/datamash-texinfo.css'>datamash-texinfo.css</a></div><div class='content'>blob: 2e82f6b6834f4972a9615ceab308d7efb07c328f (<a href='/cgit/datamash.git/plain/doc/datamash-texinfo.css'>plain</a>)
|
|
<table summary='blob content' class='blob'>
|
|
<tr><td class='linenumbers'><pre><a class='no' id='n1' name='n1' href='#n1'>1</a>
|
|
<a class='no' id='n2' name='n2' href='#n2'>2</a>
|
|
<a class='no' id='n3' name='n3' href='#n3'>3</a>
|
|
<a class='no' id='n4' name='n4' href='#n4'>4</a>
|
|
<a class='no' id='n5' name='n5' href='#n5'>5</a>
|
|
<a class='no' id='n6' name='n6' href='#n6'>6</a>
|
|
<a class='no' id='n7' name='n7' href='#n7'>7</a>
|
|
<a class='no' id='n8' name='n8' href='#n8'>8</a>
|
|
<a class='no' id='n9' name='n9' href='#n9'>9</a>
|
|
<a class='no' id='n10' name='n10' href='#n10'>10</a>
|
|
<a class='no' id='n11' name='n11' href='#n11'>11</a>
|
|
<a class='no' id='n12' name='n12' href='#n12'>12</a>
|
|
<a class='no' id='n13' name='n13' href='#n13'>13</a>
|
|
<a class='no' id='n14' name='n14' href='#n14'>14</a>
|
|
<a class='no' id='n15' name='n15' href='#n15'>15</a>
|
|
<a class='no' id='n16' name='n16' href='#n16'>16</a>
|
|
<a class='no' id='n17' name='n17' href='#n17'>17</a>
|
|
<a class='no' id='n18' name='n18' href='#n18'>18</a>
|
|
<a class='no' id='n19' name='n19' href='#n19'>19</a>
|
|
<a class='no' id='n20' name='n20' href='#n20'>20</a>
|
|
<a class='no' id='n21' name='n21' href='#n21'>21</a>
|
|
<a class='no' id='n22' name='n22' href='#n22'>22</a>
|
|
<a class='no' id='n23' name='n23' href='#n23'>23</a>
|
|
<a class='no' id='n24' name='n24' href='#n24'>24</a>
|
|
<a class='no' id='n25' name='n25' href='#n25'>25</a>
|
|
<a class='no' id='n26' name='n26' href='#n26'>26</a>
|
|
<a class='no' id='n27' name='n27' href='#n27'>27</a>
|
|
<a class='no' id='n28' name='n28' href='#n28'>28</a>
|
|
<a class='no' id='n29' name='n29' href='#n29'>29</a>
|
|
<a class='no' id='n30' name='n30' href='#n30'>30</a>
|
|
<a class='no' id='n31' name='n31' href='#n31'>31</a>
|
|
<a class='no' id='n32' name='n32' href='#n32'>32</a>
|
|
<a class='no' id='n33' name='n33' href='#n33'>33</a>
|
|
<a class='no' id='n34' name='n34' href='#n34'>34</a>
|
|
<a class='no' id='n35' name='n35' href='#n35'>35</a>
|
|
<a class='no' id='n36' name='n36' href='#n36'>36</a>
|
|
<a class='no' id='n37' name='n37' href='#n37'>37</a>
|
|
<a class='no' id='n38' name='n38' href='#n38'>38</a>
|
|
<a class='no' id='n39' name='n39' href='#n39'>39</a>
|
|
<a class='no' id='n40' name='n40' href='#n40'>40</a>
|
|
<a class='no' id='n41' name='n41' href='#n41'>41</a>
|
|
<a class='no' id='n42' name='n42' href='#n42'>42</a>
|
|
<a class='no' id='n43' name='n43' href='#n43'>43</a>
|
|
<a class='no' id='n44' name='n44' href='#n44'>44</a>
|
|
<a class='no' id='n45' name='n45' href='#n45'>45</a>
|
|
<a class='no' id='n46' name='n46' href='#n46'>46</a>
|
|
<a class='no' id='n47' name='n47' href='#n47'>47</a>
|
|
<a class='no' id='n48' name='n48' href='#n48'>48</a>
|
|
<a class='no' id='n49' name='n49' href='#n49'>49</a>
|
|
<a class='no' id='n50' name='n50' href='#n50'>50</a>
|
|
<a class='no' id='n51' name='n51' href='#n51'>51</a>
|
|
<a class='no' id='n52' name='n52' href='#n52'>52</a>
|
|
<a class='no' id='n53' name='n53' href='#n53'>53</a>
|
|
<a class='no' id='n54' name='n54' href='#n54'>54</a>
|
|
<a class='no' id='n55' name='n55' href='#n55'>55</a>
|
|
<a class='no' id='n56' name='n56' href='#n56'>56</a>
|
|
<a class='no' id='n57' name='n57' href='#n57'>57</a>
|
|
<a class='no' id='n58' name='n58' href='#n58'>58</a>
|
|
<a class='no' id='n59' name='n59' href='#n59'>59</a>
|
|
<a class='no' id='n60' name='n60' href='#n60'>60</a>
|
|
<a class='no' id='n61' name='n61' href='#n61'>61</a>
|
|
<a class='no' id='n62' name='n62' href='#n62'>62</a>
|
|
<a class='no' id='n63' name='n63' href='#n63'>63</a>
|
|
<a class='no' id='n64' name='n64' href='#n64'>64</a>
|
|
<a class='no' id='n65' name='n65' href='#n65'>65</a>
|
|
<a class='no' id='n66' name='n66' href='#n66'>66</a>
|
|
<a class='no' id='n67' name='n67' href='#n67'>67</a>
|
|
<a class='no' id='n68' name='n68' href='#n68'>68</a>
|
|
<a class='no' id='n69' name='n69' href='#n69'>69</a>
|
|
<a class='no' id='n70' name='n70' href='#n70'>70</a>
|
|
<a class='no' id='n71' name='n71' href='#n71'>71</a>
|
|
<a class='no' id='n72' name='n72' href='#n72'>72</a>
|
|
<a class='no' id='n73' name='n73' href='#n73'>73</a>
|
|
<a class='no' id='n74' name='n74' href='#n74'>74</a>
|
|
<a class='no' id='n75' name='n75' href='#n75'>75</a>
|
|
<a class='no' id='n76' name='n76' href='#n76'>76</a>
|
|
<a class='no' id='n77' name='n77' href='#n77'>77</a>
|
|
<a class='no' id='n78' name='n78' href='#n78'>78</a>
|
|
<a class='no' id='n79' name='n79' href='#n79'>79</a>
|
|
<a class='no' id='n80' name='n80' href='#n80'>80</a>
|
|
<a class='no' id='n81' name='n81' href='#n81'>81</a>
|
|
<a class='no' id='n82' name='n82' href='#n82'>82</a>
|
|
<a class='no' id='n83' name='n83' href='#n83'>83</a>
|
|
<a class='no' id='n84' name='n84' href='#n84'>84</a>
|
|
<a class='no' id='n85' name='n85' href='#n85'>85</a>
|
|
<a class='no' id='n86' name='n86' href='#n86'>86</a>
|
|
<a class='no' id='n87' name='n87' href='#n87'>87</a>
|
|
<a class='no' id='n88' name='n88' href='#n88'>88</a>
|
|
<a class='no' id='n89' name='n89' href='#n89'>89</a>
|
|
<a class='no' id='n90' name='n90' href='#n90'>90</a>
|
|
<a class='no' id='n91' name='n91' href='#n91'>91</a>
|
|
<a class='no' id='n92' name='n92' href='#n92'>92</a>
|
|
<a class='no' id='n93' name='n93' href='#n93'>93</a>
|
|
<a class='no' id='n94' name='n94' href='#n94'>94</a>
|
|
<a class='no' id='n95' name='n95' href='#n95'>95</a>
|
|
<a class='no' id='n96' name='n96' href='#n96'>96</a>
|
|
<a class='no' id='n97' name='n97' href='#n97'>97</a>
|
|
<a class='no' id='n98' name='n98' href='#n98'>98</a>
|
|
<a class='no' id='n99' name='n99' href='#n99'>99</a>
|
|
<a class='no' id='n100' name='n100' href='#n100'>100</a>
|
|
<a class='no' id='n101' name='n101' href='#n101'>101</a>
|
|
<a class='no' id='n102' name='n102' href='#n102'>102</a>
|
|
<a class='no' id='n103' name='n103' href='#n103'>103</a>
|
|
<a class='no' id='n104' name='n104' href='#n104'>104</a>
|
|
<a class='no' id='n105' name='n105' href='#n105'>105</a>
|
|
<a class='no' id='n106' name='n106' href='#n106'>106</a>
|
|
<a class='no' id='n107' name='n107' href='#n107'>107</a>
|
|
<a class='no' id='n108' name='n108' href='#n108'>108</a>
|
|
<a class='no' id='n109' name='n109' href='#n109'>109</a>
|
|
<a class='no' id='n110' name='n110' href='#n110'>110</a>
|
|
<a class='no' id='n111' name='n111' href='#n111'>111</a>
|
|
<a class='no' id='n112' name='n112' href='#n112'>112</a>
|
|
<a class='no' id='n113' name='n113' href='#n113'>113</a>
|
|
<a class='no' id='n114' name='n114' href='#n114'>114</a>
|
|
<a class='no' id='n115' name='n115' href='#n115'>115</a>
|
|
<a class='no' id='n116' name='n116' href='#n116'>116</a>
|
|
<a class='no' id='n117' name='n117' href='#n117'>117</a>
|
|
<a class='no' id='n118' name='n118' href='#n118'>118</a>
|
|
<a class='no' id='n119' name='n119' href='#n119'>119</a>
|
|
<a class='no' id='n120' name='n120' href='#n120'>120</a>
|
|
<a class='no' id='n121' name='n121' href='#n121'>121</a>
|
|
<a class='no' id='n122' name='n122' href='#n122'>122</a>
|
|
<a class='no' id='n123' name='n123' href='#n123'>123</a>
|
|
<a class='no' id='n124' name='n124' href='#n124'>124</a>
|
|
<a class='no' id='n125' name='n125' href='#n125'>125</a>
|
|
<a class='no' id='n126' name='n126' href='#n126'>126</a>
|
|
<a class='no' id='n127' name='n127' href='#n127'>127</a>
|
|
<a class='no' id='n128' name='n128' href='#n128'>128</a>
|
|
<a class='no' id='n129' name='n129' href='#n129'>129</a>
|
|
<a class='no' id='n130' name='n130' href='#n130'>130</a>
|
|
<a class='no' id='n131' name='n131' href='#n131'>131</a>
|
|
<a class='no' id='n132' name='n132' href='#n132'>132</a>
|
|
<a class='no' id='n133' name='n133' href='#n133'>133</a>
|
|
<a class='no' id='n134' name='n134' href='#n134'>134</a>
|
|
<a class='no' id='n135' name='n135' href='#n135'>135</a>
|
|
<a class='no' id='n136' name='n136' href='#n136'>136</a>
|
|
<a class='no' id='n137' name='n137' href='#n137'>137</a>
|
|
<a class='no' id='n138' name='n138' href='#n138'>138</a>
|
|
<a class='no' id='n139' name='n139' href='#n139'>139</a>
|
|
<a class='no' id='n140' name='n140' href='#n140'>140</a>
|
|
<a class='no' id='n141' name='n141' href='#n141'>141</a>
|
|
<a class='no' id='n142' name='n142' href='#n142'>142</a>
|
|
<a class='no' id='n143' name='n143' href='#n143'>143</a>
|
|
<a class='no' id='n144' name='n144' href='#n144'>144</a>
|
|
<a class='no' id='n145' name='n145' href='#n145'>145</a>
|
|
<a class='no' id='n146' name='n146' href='#n146'>146</a>
|
|
<a class='no' id='n147' name='n147' href='#n147'>147</a>
|
|
<a class='no' id='n148' name='n148' href='#n148'>148</a>
|
|
<a class='no' id='n149' name='n149' href='#n149'>149</a>
|
|
<a class='no' id='n150' name='n150' href='#n150'>150</a>
|
|
<a class='no' id='n151' name='n151' href='#n151'>151</a>
|
|
<a class='no' id='n152' name='n152' href='#n152'>152</a>
|
|
<a class='no' id='n153' name='n153' href='#n153'>153</a>
|
|
<a class='no' id='n154' name='n154' href='#n154'>154</a>
|
|
<a class='no' id='n155' name='n155' href='#n155'>155</a>
|
|
<a class='no' id='n156' name='n156' href='#n156'>156</a>
|
|
<a class='no' id='n157' name='n157' href='#n157'>157</a>
|
|
<a class='no' id='n158' name='n158' href='#n158'>158</a>
|
|
<a class='no' id='n159' name='n159' href='#n159'>159</a>
|
|
<a class='no' id='n160' name='n160' href='#n160'>160</a>
|
|
<a class='no' id='n161' name='n161' href='#n161'>161</a>
|
|
<a class='no' id='n162' name='n162' href='#n162'>162</a>
|
|
<a class='no' id='n163' name='n163' href='#n163'>163</a>
|
|
<a class='no' id='n164' name='n164' href='#n164'>164</a>
|
|
<a class='no' id='n165' name='n165' href='#n165'>165</a>
|
|
<a class='no' id='n166' name='n166' href='#n166'>166</a>
|
|
<a class='no' id='n167' name='n167' href='#n167'>167</a>
|
|
<a class='no' id='n168' name='n168' href='#n168'>168</a>
|
|
<a class='no' id='n169' name='n169' href='#n169'>169</a>
|
|
<a class='no' id='n170' name='n170' href='#n170'>170</a>
|
|
<a class='no' id='n171' name='n171' href='#n171'>171</a>
|
|
<a class='no' id='n172' name='n172' href='#n172'>172</a>
|
|
<a class='no' id='n173' name='n173' href='#n173'>173</a>
|
|
<a class='no' id='n174' name='n174' href='#n174'>174</a>
|
|
<a class='no' id='n175' name='n175' href='#n175'>175</a>
|
|
<a class='no' id='n176' name='n176' href='#n176'>176</a>
|
|
<a class='no' id='n177' name='n177' href='#n177'>177</a>
|
|
<a class='no' id='n178' name='n178' href='#n178'>178</a>
|
|
<a class='no' id='n179' name='n179' href='#n179'>179</a>
|
|
<a class='no' id='n180' name='n180' href='#n180'>180</a>
|
|
<a class='no' id='n181' name='n181' href='#n181'>181</a>
|
|
<a class='no' id='n182' name='n182' href='#n182'>182</a>
|
|
<a class='no' id='n183' name='n183' href='#n183'>183</a>
|
|
<a class='no' id='n184' name='n184' href='#n184'>184</a>
|
|
<a class='no' id='n185' name='n185' href='#n185'>185</a>
|
|
<a class='no' id='n186' name='n186' href='#n186'>186</a>
|
|
<a class='no' id='n187' name='n187' href='#n187'>187</a>
|
|
<a class='no' id='n188' name='n188' href='#n188'>188</a>
|
|
<a class='no' id='n189' name='n189' href='#n189'>189</a>
|
|
<a class='no' id='n190' name='n190' href='#n190'>190</a>
|
|
<a class='no' id='n191' name='n191' href='#n191'>191</a>
|
|
<a class='no' id='n192' name='n192' href='#n192'>192</a>
|
|
<a class='no' id='n193' name='n193' href='#n193'>193</a>
|
|
<a class='no' id='n194' name='n194' href='#n194'>194</a>
|
|
<a class='no' id='n195' name='n195' href='#n195'>195</a>
|
|
<a class='no' id='n196' name='n196' href='#n196'>196</a>
|
|
<a class='no' id='n197' name='n197' href='#n197'>197</a>
|
|
<a class='no' id='n198' name='n198' href='#n198'>198</a>
|
|
<a class='no' id='n199' name='n199' href='#n199'>199</a>
|
|
<a class='no' id='n200' name='n200' href='#n200'>200</a>
|
|
<a class='no' id='n201' name='n201' href='#n201'>201</a>
|
|
<a class='no' id='n202' name='n202' href='#n202'>202</a>
|
|
<a class='no' id='n203' name='n203' href='#n203'>203</a>
|
|
<a class='no' id='n204' name='n204' href='#n204'>204</a>
|
|
<a class='no' id='n205' name='n205' href='#n205'>205</a>
|
|
<a class='no' id='n206' name='n206' href='#n206'>206</a>
|
|
<a class='no' id='n207' name='n207' href='#n207'>207</a>
|
|
<a class='no' id='n208' name='n208' href='#n208'>208</a>
|
|
<a class='no' id='n209' name='n209' href='#n209'>209</a>
|
|
<a class='no' id='n210' name='n210' href='#n210'>210</a>
|
|
<a class='no' id='n211' name='n211' href='#n211'>211</a>
|
|
<a class='no' id='n212' name='n212' href='#n212'>212</a>
|
|
<a class='no' id='n213' name='n213' href='#n213'>213</a>
|
|
<a class='no' id='n214' name='n214' href='#n214'>214</a>
|
|
<a class='no' id='n215' name='n215' href='#n215'>215</a>
|
|
<a class='no' id='n216' name='n216' href='#n216'>216</a>
|
|
<a class='no' id='n217' name='n217' href='#n217'>217</a>
|
|
<a class='no' id='n218' name='n218' href='#n218'>218</a>
|
|
<a class='no' id='n219' name='n219' href='#n219'>219</a>
|
|
<a class='no' id='n220' name='n220' href='#n220'>220</a>
|
|
<a class='no' id='n221' name='n221' href='#n221'>221</a>
|
|
<a class='no' id='n222' name='n222' href='#n222'>222</a>
|
|
<a class='no' id='n223' name='n223' href='#n223'>223</a>
|
|
<a class='no' id='n224' name='n224' href='#n224'>224</a>
|
|
<a class='no' id='n225' name='n225' href='#n225'>225</a>
|
|
<a class='no' id='n226' name='n226' href='#n226'>226</a>
|
|
<a class='no' id='n227' name='n227' href='#n227'>227</a>
|
|
<a class='no' id='n228' name='n228' href='#n228'>228</a>
|
|
<a class='no' id='n229' name='n229' href='#n229'>229</a>
|
|
<a class='no' id='n230' name='n230' href='#n230'>230</a>
|
|
<a class='no' id='n231' name='n231' href='#n231'>231</a>
|
|
<a class='no' id='n232' name='n232' href='#n232'>232</a>
|
|
<a class='no' id='n233' name='n233' href='#n233'>233</a>
|
|
<a class='no' id='n234' name='n234' href='#n234'>234</a>
|
|
</pre></td>
|
|
<td class='lines'><pre><code>/*
|
|
CSS for TexInfo/HTML files.
|
|
|
|
Copyright (C) 2015-2016 Assaf Gordon (assafgordon@gmail.com)
|
|
|
|
License:
|
|
GNU All Permissive License
|
|
http://www.gnu.org/prep/maintain/html_node/License-Notices-for-Other-Files.html
|
|
|
|
Copying and distribution of this file, with or without modification,
|
|
are permitted in any medium without royalty provided the copyright
|
|
notice and this notice are preserved. This file is offered as-is,
|
|
without any warranty.
|
|
|
|
|
|
The used tags/classes were collected from a Texinfo-generated HTML using:
|
|
|
|
cd coreutils
|
|
makeinfo --html --no-split -o coreutils.html doc/coreutils.texi
|
|
cat coreutils.html | sed 's/</\n</g' | sed 's;>.*;>;g' \
|
|
| grep '^<' | grep 'class=' | sort -u \
|
|
| perl -lane 'm/<(\w+) .*class="([-\w]+)"/ ; print $1, "\t", $2' \
|
|
| sort -u
|
|
|
|
*/
|
|
body {
|
|
font-family: sans-serif;
|
|
font-size: 16px;
|
|
margin: 1em;
|
|
|
|
overflow-x: hidden; /* Coupled with the div.header trick,
|
|
this will extend the header lines
|
|
access the entire page width without causing
|
|
a horizontal scroll bar to appear. */
|
|
}
|
|
|
|
|
|
a {
|
|
text-decoration: none;
|
|
outline-style: none;
|
|
color: blue;
|
|
}
|
|
a:visited {
|
|
color: rgb(16,0,112);
|
|
}
|
|
a:hover {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
|
|
/*****************************************************
|
|
Titles / Headers
|
|
******************************************************/
|
|
|
|
/* @settitle:
|
|
The title of the document at the top of the document/header */
|
|
h1.settitle {
|
|
color: rgb(51,70,131);
|
|
text-shadow: rgb(153,153,153) 1px 1px 0px;
|
|
}
|
|
|
|
/* The title at the beginning of the document, before the @menu */
|
|
h1.top {
|
|
color: rgb(51,70,131);
|
|
text-shadow: rgb(153,153,153) 1px 1px 0px;
|
|
}
|
|
|
|
/* @chapter */
|
|
h2.chapter {
|
|
}
|
|
|
|
h2.appendix { }
|
|
h2.unnumbered { }
|
|
|
|
/* @section */
|
|
h3.section {
|
|
}
|
|
/* @unnumberedsec */
|
|
h3.unnumberedsec {
|
|
}
|
|
/* @heading (seems to be only used in fdl.texi) */
|
|
h3.heading {
|
|
}
|
|
|
|
/* @subsection */
|
|
h4.subsection {
|
|
}
|
|
|
|
|
|
/**************************************************
|
|
Short Contents (if @shortcontents command is used)
|
|
***************************************************/
|
|
h2.shortcontents-heading { }
|
|
div.shortcontents { }
|
|
div.shortcontents ul { }
|
|
div.shortcontents ul li { }
|
|
|
|
|
|
/**************************************************
|
|
Contents (if @contents command is used)
|
|
***************************************************/
|
|
h2.contents-heading { }
|
|
div.contents { }
|
|
div.contents ul { }
|
|
div.contents ul li { }
|
|
|
|
|
|
/* The @menu table */
|
|
table.menu { }
|
|
pre.menu-comment {}
|
|
|
|
|
|
|
|
/************************************
|
|
@example and @verbatim
|
|
************************************/
|
|
div.example {
|
|
margin-left: 2em;
|
|
margin-right: 2em;
|
|
}
|
|
div.example pre.example {
|
|
/* Round Corners */
|
|
-webkit-border-radius: 3px;
|
|
-moz-border-radius: 3px;
|
|
border-radius: 3px;
|
|
border: 1px solid #c0c0c0;
|
|
|
|
padding: 1ex;
|
|
background-color: #f3f3f3;
|
|
}
|
|
|
|
/* Note: @verbatim is also rendered inside a 'div.example' */
|
|
div.example pre.verbatim {
|
|
/* Round Corners */
|
|
-webkit-border-radius: 3px;
|
|
-moz-border-radius: 3px;
|
|
border-radius: 3px;
|
|
border: 1px solid #c0c0c0;
|
|
|
|
padding: 1ex;
|
|
background-color: #f3f3f3;
|
|
}
|
|
|
|
|
|
|
|
/************************************
|
|
@smallexample
|
|
************************************/
|
|
div.smallexample {
|
|
}
|
|
div.smallexample pre.smallexample {
|
|
}
|
|
|
|
/***********************************
|
|
@display
|
|
***********************************/
|
|
div.display {
|
|
}
|
|
div.display pre.display {
|
|
}
|
|
|
|
|
|
|
|
/**************************************
|
|
@footnote
|
|
**************************************/
|
|
div.footnote { }
|
|
h4.footnotes-heading { }
|
|
|
|
/**************************************
|
|
The header at the top of each page / section
|
|
(the next/previous/top/up links)
|
|
**************************************/
|
|
div.header {
|
|
padding-top: 0.5ex;
|
|
padding-bottom: 0.5ex;
|
|
background-color: #ddddff;
|
|
|
|
/* This will extend the background color of the header
|
|
bar to the entire width of the page (and beyond),
|
|
requires 'overflow-x: hidden' in the 'body'. */
|
|
padding-left: 3000px;
|
|
margin-left: -3000px;
|
|
padding-right: 3000px;
|
|
margin-right: -3000px;
|
|
}
|
|
|
|
/* Disable any additional margins */
|
|
div.header p {
|
|
margin: 0;
|
|
}
|
|
div.header p a {
|
|
color: blue;
|
|
}
|
|
|
|
|
|
/**************************************
|
|
@table is rendered as <dl> (defnition list),
|
|
@item is rendered as <dt> (definition term),
|
|
text is rendered as <dd> (definition description)
|
|
**************************************/
|
|
dl {
|
|
margin: 0 1em;
|
|
}
|
|
dl dt {
|
|
margin: 1em 0;
|
|
}
|
|
dl dd {
|
|
margin-left: 2em;
|
|
}
|
|
|
|
/*******************************************************
|
|
Text Styles
|
|
*******************************************************/
|
|
|
|
/* @var{} */
|
|
var {
|
|
color: #CC0000;
|
|
}
|
|
|
|
/* @samp{} */
|
|
samp {
|
|
color: #6600CC;
|
|
}
|
|
|
|
/* @env{} will result in <p><code>X</code></p> */
|
|
p code {
|
|
color: #532c14;
|
|
}
|
|
|
|
/* @option{} */
|
|
span.nocodebreak {
|
|
color: #5D4C46;
|
|
}
|
|
</code></pre></td></tr></table>
|
|
</div> <!-- class=content -->
|
|
</div> <!-- id=cgit -->
|
|
</body>
|
|
</html>
|