<!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'> <head> <title>doc/install_html/style.css</title> <meta name='robots' content='noindex,nofollow' /> <meta name='generator' content='GLOBAL-6.6.5' /> <meta http-equiv='Content-Style-Type' content='text/css' /> <link rel='stylesheet' type='text/css' href='../style.css' /> </head> <body> <a id='TOP' name='TOP'></a><h2 class='header'><a href='../mains.html'>root</a>/<a href='../files/2921.html'>doc</a>/<a href='../files/2925.html'>install_html</a>/style.css</h2> <em class='comment'>/* [<][>][^][v][top]<a href='#BOTTOM'>[bottom]</a><a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em> <hr /> <pre> <a id='L1' name='L1'></a>body { <a id='L2' name='L2'></a> margin-left: 6em; <a id='L3' name='L3'></a> margin-right: 12em; <a id='L4' name='L4'></a> color: black; <a id='L5' name='L5'></a> background-color: #EEE; <a id='L6' name='L6'></a> font-family: sans-serif; <a id='L7' name='L7'></a>} <a id='L8' name='L8'></a> <a id='L9' name='L9'></a>h1, h2, h3, h4, h5, h6 { <a id='L10' name='L10'></a> color: navy; <a id='L11' name='L11'></a> background-color: inherit; <a id='L12' name='L12'></a>} <a id='L13' name='L13'></a> <a id='L14' name='L14'></a>h1, h2 { <a id='L15' name='L15'></a> margin-left: -2em; <a id='L16' name='L16'></a>} <a id='L17' name='L17'></a> <a id='L18' name='L18'></a>.node{ <a id='L19' name='L19'></a> margin-left: -3em; <a id='L20' name='L20'></a> color: inherit; <a id='L21' name='L21'></a> background-color: #DDF; <a id='L22' name='L22'></a>} <a id='L23' name='L23'></a> <a id='L24' name='L24'></a>.menu, .node { <a id='L25' name='L25'></a> color: inherit; <a id='L26' name='L26'></a> background-color: #DDF; <a id='L27' name='L27'></a>} <a id='L28' name='L28'></a> <a id='L29' name='L29'></a>table.menu, table.menu th, table.menu td { <a id='L30' name='L30'></a> border-style: none; <a id='L31' name='L31'></a>} <a id='L32' name='L32'></a> <a id='L33' name='L33'></a>h2 { <a id='L34' name='L34'></a> padding: 0.25em; <a id='L35' name='L35'></a> border: 2px solid navy; <a id='L36' name='L36'></a>} <a id='L37' name='L37'></a> <a id='L38' name='L38'></a>.contents { <a id='L39' name='L39'></a> background-color: #DDF; <a id='L40' name='L40'></a> border: 4px double #000; <a id='L41' name='L41'></a> padding: 0.5em 1em 0.5em 1em; <a id='L42' name='L42'></a>} <a id='L43' name='L43'></a> <a id='L44' name='L44'></a>.contents h2 { <a id='L45' name='L45'></a> margin-left: 0; <a id='L46' name='L46'></a> color: black; <a id='L47' name='L47'></a> background-color: #DDF; <a id='L48' name='L48'></a>} <a id='L49' name='L49'></a> <a id='L50' name='L50'></a>.contents li { <a id='L51' name='L51'></a> list-style-type: none; <a id='L52' name='L52'></a>} <a id='L53' name='L53'></a> <a id='L54' name='L54'></a>.shortcontents { <a id='L55' name='L55'></a> background-color: #DDF; <a id='L56' name='L56'></a> border: 4px double #000; <a id='L57' name='L57'></a> } <a id='L58' name='L58'></a> <a id='L59' name='L59'></a>.shortcontents h2{ <a id='L60' name='L60'></a> display: none; <a id='L61' name='L61'></a>} <a id='L62' name='L62'></a> <a id='L63' name='L63'></a>h1.node-heading { <a id='L64' name='L64'></a> display: none; <a id='L65' name='L65'></a>} <a id='L66' name='L66'></a> <a id='L67' name='L67'></a>h2.contents-heading{ <a id='L68' name='L68'></a> display: none; <a id='L69' name='L69'></a>} <a id='L70' name='L70'></a> <a id='L71' name='L71'></a>h2.shortcontents-heading{ <a id='L72' name='L72'></a> display: none; <a id='L73' name='L73'></a>} <a id='L74' name='L74'></a> <a id='L75' name='L75'></a>.shortcontents a { <a id='L76' name='L76'></a> margin-right: 1em; <a id='L77' name='L77'></a>} <a id='L78' name='L78'></a> <a id='L79' name='L79'></a>h3, h4, h5 { <a id='L80' name='L80'></a> margin-left: -1em; <a id='L81' name='L81'></a>} <a id='L82' name='L82'></a> <a id='L83' name='L83'></a>h5 { <a id='L84' name='L84'></a> font-size: 100%; <a id='L85' name='L85'></a>} <a id='L86' name='L86'></a> <a id='L87' name='L87'></a>p { <a id='L88' name='L88'></a> line-height: 1.25em; <a id='L89' name='L89'></a> margin-top: 0; <a id='L90' name='L90'></a> margin-bottom: 0.5em; <a id='L91' name='L91'></a>} <a id='L92' name='L92'></a> <a id='L93' name='L93'></a>a:hover { <a id='L94' name='L94'></a> color: red; <a id='L95' name='L95'></a> text-decoration: underline; <a id='L96' name='L96'></a>} <a id='L97' name='L97'></a> <a id='L98' name='L98'></a>pre.example, pre.verbatim { <a id='L99' name='L99'></a> padding: 0.5em 1em 0.5em 1em; <a id='L100' name='L100'></a> border: 1px solid #CCC; <a id='L101' name='L101'></a>} <a id='L102' name='L102'></a> <a id='L103' name='L103'></a>a { <a id='L104' name='L104'></a> text-decoration: none; <a id='L105' name='L105'></a>} <a id='L106' name='L106'></a> <a id='L107' name='L107'></a>blockquote { <a id='L108' name='L108'></a> line-height: 1.25em; <a id='L109' name='L109'></a> border: 1px solid #00F; <a id='L110' name='L110'></a>} <a id='L111' name='L111'></a> <a id='L112' name='L112'></a>kbd, code, .file, var { <a id='L113' name='L113'></a> font-style: normal; <a id='L114' name='L114'></a> font-weight: normal; <a id='L115' name='L115'></a> font-family: monospace; <a id='L116' name='L116'></a> font-size: 120%; <a id='L117' name='L117'></a> margin-left:0.25em; <a id='L118' name='L118'></a> margin-right: 0.25em; <a id='L119' name='L119'></a>} <a id='L120' name='L120'></a> <a id='L121' name='L121'></a>table, th, td { <a id='L122' name='L122'></a> border: 1px solid black; <a id='L123' name='L123'></a> border-collapse: collapse; /* 枠線の表示方法 */ <a id='L124' name='L124'></a> margin-bottom: 1em; <a id='L125' name='L125'></a>} <a id='L126' name='L126'></a> <a id='L127' name='L127'></a>table.cartouche, table.cartouche th, table.cartouche td { <a id='L128' name='L128'></a> border: none; <a id='L129' name='L129'></a>} <a id='L130' name='L130'></a> <a id='L131' name='L131'></a>pre.example .command, pre.example .option, pre.example kbd { <a id='L132' name='L132'></a> font-weight: bold; <a id='L133' name='L133'></a> font-family: monospace; <a id='L134' name='L134'></a> font-size: 110%; <a id='L135' name='L135'></a> background-color: inherit; <a id='L136' name='L136'></a> font-style: normal; <a id='L137' name='L137'></a> margin-left:0; <a id='L138' name='L138'></a> margin-right: 0; <a id='L139' name='L139'></a>} <a id='L140' name='L140'></a> <a id='L141' name='L141'></a>pre.example strong { <a id='L142' name='L142'></a> font: inherit; <a id='L143' name='L143'></a> border: 2px solid green; <a id='L144' name='L144'></a>} <a id='L145' name='L145'></a> <a id='L146' name='L146'></a>pre.example em { <a id='L147' name='L147'></a> font-size: 100%; <a id='L148' name='L148'></a> font-style: normal; <a id='L149' name='L149'></a> font-weight: bold; <a id='L150' name='L150'></a>} <a id='L151' name='L151'></a> <a id='L152' name='L152'></a>th { <a id='L153' name='L153'></a> font-style: normal; <a id='L154' name='L154'></a> font-weight: bold; <a id='L155' name='L155'></a> font-family: sans-serif; <a id='L156' name='L156'></a>} <a id='L157' name='L157'></a> <a id='L158' name='L158'></a>th { <a id='L159' name='L159'></a> text-align: center; <a id='L160' name='L160'></a>} <a id='L161' name='L161'></a> <a id='L162' name='L162'></a>dfn { <a id='L163' name='L163'></a> font-style: normal; <a id='L164' name='L164'></a>} <a id='L165' name='L165'></a> <a id='L166' name='L166'></a>.header, .menu { <a id='L167' name='L167'></a> display: none; <a id='L168' name='L168'></a>} </pre> <hr /> <a id='BOTTOM' name='BOTTOM'></a> <em class='comment'>/* [<][>][^][v]<a href='#TOP'>[top]</a>[bottom]<a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em> </body> </html>