trace/traceviewer/com.nokia.traceviewer.help/book.css
changeset 11 5b9d4d8641ce
equal deleted inserted replaced
10:ed1c9f64298a 11:5b9d4d8641ce
       
     1 /*	
       
     2 	Copyright (c) 2007-2010 Nokia Corporation and/or its subsidiary(-ies). All rights reserved. 
       
     3 	License: http://www.eclipse.org/legal/epl-v10.html
       
     4 */
       
     5 
       
     6 /*	Add whitespace around entire display to avoid crowding edges of view 	*/
       
     7 /* 	20070523-Removed top margin size to close gap between location breadcrumbs and page title	*/
       
     8 html {
       
     9 	margin: 2px 10px 10px 10px;
       
    10 	}
       
    11 
       
    12 /* 	Set default font to serif style, 12-pt and plain	*/
       
    13 body, p, table {
       
    14 	font-family: Verdana, Helvetica, Arial, sans-serif;
       
    15 	font-size: 13px;
       
    16 	font-weight: normal;
       
    17 }
       
    18 
       
    19 /*	Use sans-serif fonts for all title styles	*/
       
    20 h1, h2, h3, h4, h5, h6, strong, em {
       
    21 	font-family: Verdana, Helvetica, Arial, sans-serif;
       
    22 	color: #000000;	
       
    23 	}
       
    24 
       
    25 h1	{ font-size:20px }
       
    26 h2	{ font-size:18px }
       
    27 h3	{ font-size:16px }
       
    28 h4	{ font-size:14px }
       
    29 h5	{ font-size:13px }
       
    30 h6	{ font-size:12px }
       
    31 
       
    32 /*	For headlines at the top of a view, add space	*/
       
    33 /*	20090224-changed green fade to gold header image	*/
       
    34 h1, h2, h3 {
       
    35 	background-image: url(html/images/gold_header.png);
       
    36 	background-repeat: no-repeat;
       
    37 	padding:10px 0px 10px 12px;	
       
    38 	}
       
    39 
       
    40 li	{
       
    41 	margin-bottom:8px;	
       
    42 	margin-top:8px;
       
    43 	}
       
    44 
       
    45 /*	Footer includes space and a gray line above the company logo	*/
       
    46 #footer {
       
    47 	padding-top:10px;
       
    48 	margin-top:20px;
       
    49 	border-top:1px solid #999;
       
    50 	font-family: Helvetica, sans-serif;
       
    51 	font-size: 11px;
       
    52 	color:#333;
       
    53 	}
       
    54 
       
    55 .listing	{
       
    56 	font-family: "Courier New", Courier, mono;
       
    57 	color: #000000;
       
    58 	background-color: #FFFFCC;
       
    59 	margin: 5px 0px;
       
    60 	}
       
    61 		
       
    62 .code, pre	{
       
    63 	font-family: "Courier New", Courier, mono;
       
    64 	font-size: 13px;
       
    65 	color: #000000;
       
    66 	}
       
    67 
       
    68 .step	{
       
    69 	/* background-color: #EEE; */
       
    70 	/* margin: 10px 0px; */
       
    71 	/* color: #111; */
       
    72 	/* border-bottom:2px solid #EEE; */
       
    73 	}
       
    74 	
       
    75 .substep	{
       
    76 	background-color: #EEE;
       
    77 	}
       
    78 	
       
    79 	
       
    80 /*	Figure/Listing/Table titles are centered and gray	*/
       
    81 p.table {
       
    82 	color: #999;
       
    83 	font-weight: bold;
       
    84 	padding-top: 5px;
       
    85 	}
       
    86 
       
    87 table	{
       
    88 	border: solid #999 1px;
       
    89 	table-layout: auto;
       
    90 	font-size: 13px;
       
    91 	}
       
    92 
       
    93 td, th	{
       
    94 	border: solid #999 1px;
       
    95 	padding: 5px;
       
    96 	vertical-align:top;
       
    97 	}
       
    98 	
       
    99 /*	20070522-replaced gray with green background to match gradiant color for title	*/
       
   100 th	{
       
   101 	background-color:#FFC550;	/* background-color:#acd79b;
       
   102 	background-color:#999;
       
   103 	color:#FFF; */
       
   104 	}
       
   105 
       
   106 div.ol.p	{
       
   107 	margin-left: 3em;
       
   108 	}
       
   109 
       
   110 /* Make all ordered/unordered list items appear in bold gray */
       
   111 div ol > li, div ul > li {
       
   112 	font-weight:bold;
       
   113 	color: #333;
       
   114 	}
       
   115 
       
   116 div ol > p, div ul > p, div li > p {
       
   117 	font-weight:normal;
       
   118 	}
       
   119 	
       
   120 /* Make all H4 and H5 items appear in bold gray against a light green background */
       
   121 div h5, div h4	{
       
   122 	padding:5px 0px 5px 12px;
       
   123 	background-color:#FDCB2F;
       
   124 	/* background-color: #EEE; */
       
   125 	font-weight:bold;
       
   126 	color: #000000;
       
   127 	}
       
   128 	
       
   129 	
       
   130 /*	Notes stand out using a light top & bottom borders with dark gray text	*/
       
   131 p.note {
       
   132 	/* color: #03C; */
       
   133 	/* background-color: #FFFF99; */
       
   134 	color: #333;
       
   135 	padding: 5px;
       
   136 	margin-left: 1em;
       
   137 	margin-right: 1em;
       
   138 	border-top: solid #BBB thin;
       
   139 	border-bottom: solid #BBB thin;
       
   140 	}
       
   141 
       
   142 	
       
   143 /*	Figure/Listing/Table titles are centered and gray	*/
       
   144 p.figure {
       
   145 	color: #333;
       
   146 	text-align: center;
       
   147 	font-weight: bold;
       
   148 	}
       
   149 
       
   150 /*	highly visible red background and white text for things that need fixing before release	*/
       
   151 /*  SHOULD NOT BE PRESENT IN RELEASED PRODUCTS */
       
   152 .fix	{
       
   153 	background-color: red;
       
   154 	font-weight: bold;
       
   155 	color: white;
       
   156 	}
       
   157 
       
   158 .question	{
       
   159 	font-style:italic;
       
   160 	font-weight:bold;
       
   161 	color: #555;
       
   162 	}
       
   163 	
       
   164 .titleSmall {
       
   165 	font-family: Helvetica, sans-serif;
       
   166 	font-size: 11px;
       
   167 	}
       
   168 
       
   169 	
       
   170 .plain {
       
   171 	font-family: Helvetica, sans-serif;
       
   172 	font-size: 12px;
       
   173 	font-style: normal;
       
   174 	line-height: normal;
       
   175 	font-weight: normal;
       
   176 	font-variant: normal;
       
   177 	color: #000000;
       
   178 	text-decoration: none;
       
   179 	}
       
   180 
       
   181 a:link 		{ color: #0033CC }
       
   182 a:visited	{ color: #555555 }
       
   183 a:hover 	{ color: #0033CC }