carbidecpp22devenv/configuration/org.eclipse.osgi/bundles/309/1/.cp/book.css
changeset 5 684bf18fdedf
equal deleted inserted replaced
4:4764c8c88759 5:684bf18fdedf
       
     1 /* following font face declarations need to be removed for DBCS */
       
     2 
       
     3 
       
     4 body, h1, h2, h3, h4, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, sans-serif; color: #000000}
       
     5 pre				{ font-family: Courier, monospace}
       
     6 
       
     7 /* end font face declarations */
       
     8 
       
     9 /* following font size declarations should be OK for DBCS */
       
    10 body, h1, h2, h3, h4, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-size: 10pt; }
       
    11 pre				{ font-size: 10pt}
       
    12 
       
    13 /* end font size declarations */
       
    14 
       
    15 body	     { background: #FFFFFF}
       
    16 h1           { font-size: 18pt; margin-top: 5; margin-bottom: 1 }	
       
    17 h2           { font-size: 14pt; margin-top: 25; margin-bottom: 3 }
       
    18 h3           { font-size: 11pt; margin-top: 20; margin-bottom: 3 }
       
    19 h4           { font-size: 10pt; margin-top: 20; margin-bottom: 3; font-style: italic }
       
    20 p 	     { font-size: 10pt; }
       
    21 pre	     { margin-left: 6; font-size: 9pt }
       
    22 
       
    23 a:link { color: #006699 }
       
    24 a:visited { color: #996699 }
       
    25 a:hover  { color: #006699 }
       
    26 
       
    27 ul	     { margin-top: 0; margin-bottom: 10 }
       
    28 li	     { margin-top: 0; margin-bottom: 0 } 
       
    29 li p	     { margin-top: 0; margin-bottom: 0 } 
       
    30 ol	     { margin-top: 0; margin-bottom: 10 }
       
    31 dl	     { margin-top: 0; margin-bottom: 10 }
       
    32 dt	     { margin-top: 0; margin-bottom: 0; font-weight: bold }
       
    33 dd	     { margin-top: 0; margin-bottom: 0 }
       
    34 strong	     { font-weight: bold}
       
    35 em	     { font-style: italic}
       
    36 var	     { font-style: italic}
       
    37 div.revision { border-left-style: solid; border-left-width: thin; 
       
    38 				   border-left-color: #7B68EE; padding-left:5 }
       
    39 th	     { font-weight: bold }
       
    40 
       
    41 /* Mike Behm's addition to the style sheet */
       
    42 .userinput { font-family: monospace; }
       
    43 .guitab, .important, .guibutton, .selectblue, .guimenu, .guilabel, 
       
    44 .notetitle  {
       
    45      color: #000000;
       
    46      font-family: helvetica, arial, sans-serif;
       
    47      font-weight: bold;
       
    48      }
       
    49 div.linux  {display:none;}
       
    50 .firsterm {font-style:italic;}
       
    51