core/com.nokia.carbide.cpp.leavescan/book.css
author tzelaw
Tue, 14 Apr 2009 15:03:19 -0500
changeset 94 d74b720418db
parent 2 d760517a8095
permissions -rw-r--r--
Test framework support: Ask debugger to remember DebugTarget so test framework can use it to setup test framework related utility. With this we can use the DebugUI way of launching while keeping test framework functionality
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
cawthron
parents:
diff changeset
     1
/*	
cawthron
parents:
diff changeset
     2
	Nokia DPT Tools CSS
cawthron
parents:
diff changeset
     3
	Nokia C++ Development Tools Austin
cawthron
parents:
diff changeset
     4
	Date: 2005/11/04
cawthron
parents:
diff changeset
     5
	
cawthron
parents:
diff changeset
     6
*/
cawthron
parents:
diff changeset
     7
cawthron
parents:
diff changeset
     8
/*	Add whitespace around entire display to avoid crowding edges of view 	*/
cawthron
parents:
diff changeset
     9
/* 	20070523-Removed top margin size to close gap between location breadcrumbs and page title	*/
cawthron
parents:
diff changeset
    10
html {
cawthron
parents:
diff changeset
    11
	margin: 0px 10px 10px 10px;
cawthron
parents:
diff changeset
    12
	}
cawthron
parents:
diff changeset
    13
cawthron
parents:
diff changeset
    14
/* 	Set default font to serif style, 12-pt and plain	*/
cawthron
parents:
diff changeset
    15
body, p, table {
cawthron
parents:
diff changeset
    16
	font-family: Verdana, Arial, Helvetica, sans-serif;
cawthron
parents:
diff changeset
    17
	font-size: 12px;
cawthron
parents:
diff changeset
    18
	font-weight: normal;
cawthron
parents:
diff changeset
    19
}
cawthron
parents:
diff changeset
    20
cawthron
parents:
diff changeset
    21
/*	Use sans-serif fonts for all title styles	*/
cawthron
parents:
diff changeset
    22
h1, h2, h3, h4, h5, h6, strong, em {
cawthron
parents:
diff changeset
    23
	font-family: Arial, Helvetica, sans-serif;
cawthron
parents:
diff changeset
    24
	color: #000000;	
cawthron
parents:
diff changeset
    25
	}
cawthron
parents:
diff changeset
    26
cawthron
parents:
diff changeset
    27
h1	{ font-size:20px }
cawthron
parents:
diff changeset
    28
h2	{ font-size:18px }
cawthron
parents:
diff changeset
    29
h3	{ font-size:16px }
cawthron
parents:
diff changeset
    30
h4	{ font-size:14px }
cawthron
parents:
diff changeset
    31
h5	{ font-size:12px }
cawthron
parents:
diff changeset
    32
h6	{ font-size:10px }
cawthron
parents:
diff changeset
    33
cawthron
parents:
diff changeset
    34
/*	For headlines at the top of a view, add space	*/
cawthron
parents:
diff changeset
    35
/*	20070522-added gradiant to background to update visual style of docs	*/
cawthron
parents:
diff changeset
    36
h1, h2, h3 {
cawthron
parents:
diff changeset
    37
	background-image: url(html/images/green_fade_left_68_165_28.png);
cawthron
parents:
diff changeset
    38
	background-repeat: no-repeat;
cawthron
parents:
diff changeset
    39
	padding:10px 0px 10px 12px;	
cawthron
parents:
diff changeset
    40
	}
cawthron
parents:
diff changeset
    41
cawthron
parents:
diff changeset
    42
li	{
cawthron
parents:
diff changeset
    43
	margin-bottom:8px;	
cawthron
parents:
diff changeset
    44
	margin-top:8px;
cawthron
parents:
diff changeset
    45
	}
cawthron
parents:
diff changeset
    46
cawthron
parents:
diff changeset
    47
/*	Footer includes space and a gray line above the company logo	*/
cawthron
parents:
diff changeset
    48
#footer {
cawthron
parents:
diff changeset
    49
	padding-top:10px;
cawthron
parents:
diff changeset
    50
	margin-top:20px;
cawthron
parents:
diff changeset
    51
	border-top:1px solid #999;
cawthron
parents:
diff changeset
    52
	font-family: Verdana, Arial, Helvetica, sans-serif;
cawthron
parents:
diff changeset
    53
	font-size: 10px;
cawthron
parents:
diff changeset
    54
	color: #03C;	
cawthron
parents:
diff changeset
    55
	}
cawthron
parents:
diff changeset
    56
cawthron
parents:
diff changeset
    57
.listing	{
cawthron
parents:
diff changeset
    58
	font-family: "Courier New", Courier, mono;
cawthron
parents:
diff changeset
    59
	color: #009;
cawthron
parents:
diff changeset
    60
	background-color: #EEE;
cawthron
parents:
diff changeset
    61
	padding: 10px 0px;
cawthron
parents:
diff changeset
    62
	margin: 10px 0px;
cawthron
parents:
diff changeset
    63
	}
cawthron
parents:
diff changeset
    64
cawthron
parents:
diff changeset
    65
.code, pre	{
cawthron
parents:
diff changeset
    66
	font-family: "Courier New", Courier, mono;
cawthron
parents:
diff changeset
    67
	font-size: 11px;
cawthron
parents:
diff changeset
    68
	color: #333;
cawthron
parents:
diff changeset
    69
	}
cawthron
parents:
diff changeset
    70
cawthron
parents:
diff changeset
    71
.step	{
cawthron
parents:
diff changeset
    72
	/* background-color: #EEE; */
cawthron
parents:
diff changeset
    73
	/* margin: 10px 0px; */
cawthron
parents:
diff changeset
    74
	color: #333;
cawthron
parents:
diff changeset
    75
	border-bottom:2px solid #EEE;
cawthron
parents:
diff changeset
    76
	}
cawthron
parents:
diff changeset
    77
	
cawthron
parents:
diff changeset
    78
.substep	{
cawthron
parents:
diff changeset
    79
	background-color: #EEE;
cawthron
parents:
diff changeset
    80
	}
cawthron
parents:
diff changeset
    81
	
cawthron
parents:
diff changeset
    82
	
cawthron
parents:
diff changeset
    83
/*	Figure/Listing/Table titles are centered and gray	*/
cawthron
parents:
diff changeset
    84
p.table {
cawthron
parents:
diff changeset
    85
	color: #999;
cawthron
parents:
diff changeset
    86
	font-weight: bold;
cawthron
parents:
diff changeset
    87
	padding-top: 5px;
cawthron
parents:
diff changeset
    88
	}
cawthron
parents:
diff changeset
    89
cawthron
parents:
diff changeset
    90
table	{
cawthron
parents:
diff changeset
    91
	border: solid #999 1px;
cawthron
parents:
diff changeset
    92
	table-layout: auto;
cawthron
parents:
diff changeset
    93
	font-size: 12px;
cawthron
parents:
diff changeset
    94
	}
cawthron
parents:
diff changeset
    95
cawthron
parents:
diff changeset
    96
td, th	{
cawthron
parents:
diff changeset
    97
	border: solid #999 1px;
cawthron
parents:
diff changeset
    98
	padding: 5px;
cawthron
parents:
diff changeset
    99
	vertical-align:top;
cawthron
parents:
diff changeset
   100
	}
cawthron
parents:
diff changeset
   101
	
cawthron
parents:
diff changeset
   102
/*	20070522-replaced gray with green background to match gradiant color for title	*/
cawthron
parents:
diff changeset
   103
th	{
cawthron
parents:
diff changeset
   104
	background-color:#ACD79B;
cawthron
parents:
diff changeset
   105
	/* background-color:#999;
cawthron
parents:
diff changeset
   106
	color:#FFF; */
cawthron
parents:
diff changeset
   107
	}
cawthron
parents:
diff changeset
   108
cawthron
parents:
diff changeset
   109
div.ol.p	{
cawthron
parents:
diff changeset
   110
	margin-left: 3em;
cawthron
parents:
diff changeset
   111
	}
cawthron
parents:
diff changeset
   112
cawthron
parents:
diff changeset
   113
/* Make all ordered/unordered list items appear in bold gray */
cawthron
parents:
diff changeset
   114
div ol > li, div ul > li {
cawthron
parents:
diff changeset
   115
	font-weight:bold;
cawthron
parents:
diff changeset
   116
	color: #333;
cawthron
parents:
diff changeset
   117
	}
cawthron
parents:
diff changeset
   118
cawthron
parents:
diff changeset
   119
div ol > p, div ul > p, div li > p {
cawthron
parents:
diff changeset
   120
	font-weight:normal;
cawthron
parents:
diff changeset
   121
	}
cawthron
parents:
diff changeset
   122
	
cawthron
parents:
diff changeset
   123
/* Make all H4 and H5 items appear in bold gray against a light green background */
cawthron
parents:
diff changeset
   124
div h5, div h4	{
cawthron
parents:
diff changeset
   125
	padding:5px 0px 5px 12px;	
cawthron
parents:
diff changeset
   126
	background-color:#ECFBEA;
cawthron
parents:
diff changeset
   127
	/* background-color: #EEE; */
cawthron
parents:
diff changeset
   128
	font-weight:bold;
cawthron
parents:
diff changeset
   129
	color: #333;
cawthron
parents:
diff changeset
   130
	}
cawthron
parents:
diff changeset
   131
	
cawthron
parents:
diff changeset
   132
	
cawthron
parents:
diff changeset
   133
/*	Notes stand out using a light top & bottom borders with dark gray text	*/
cawthron
parents:
diff changeset
   134
p.note {
cawthron
parents:
diff changeset
   135
	/* color: #03C; */
cawthron
parents:
diff changeset
   136
	/* background-color: #FFFF99; */
cawthron
parents:
diff changeset
   137
	color: #333;
cawthron
parents:
diff changeset
   138
	padding: 5px;
cawthron
parents:
diff changeset
   139
	margin-left: 1em;
cawthron
parents:
diff changeset
   140
	margin-right: 1em;
cawthron
parents:
diff changeset
   141
	border-top: solid #BBB thin;
cawthron
parents:
diff changeset
   142
	border-bottom: solid #BBB thin;
cawthron
parents:
diff changeset
   143
	}
cawthron
parents:
diff changeset
   144
cawthron
parents:
diff changeset
   145
	
cawthron
parents:
diff changeset
   146
/*	Figure/Listing/Table titles are centered and gray	*/
cawthron
parents:
diff changeset
   147
p.figure {
cawthron
parents:
diff changeset
   148
	color: #333;
cawthron
parents:
diff changeset
   149
	text-align: center;
cawthron
parents:
diff changeset
   150
	font-weight: bold;
cawthron
parents:
diff changeset
   151
	}
cawthron
parents:
diff changeset
   152
cawthron
parents:
diff changeset
   153
/*	highly visible red background and white text for things that need fixing before release	*/
cawthron
parents:
diff changeset
   154
/*  SHOULD NOT BE PRESENT IN RELEASED PRODUCTS */
cawthron
parents:
diff changeset
   155
.fix	{
cawthron
parents:
diff changeset
   156
	background-color: red;
cawthron
parents:
diff changeset
   157
	font-weight: bold;
cawthron
parents:
diff changeset
   158
	color: white;
cawthron
parents:
diff changeset
   159
	}
cawthron
parents:
diff changeset
   160
cawthron
parents:
diff changeset
   161
.question	{
cawthron
parents:
diff changeset
   162
	font-style:italic;
cawthron
parents:
diff changeset
   163
	font-weight:bold;
cawthron
parents:
diff changeset
   164
	color: #555;
cawthron
parents:
diff changeset
   165
	}
cawthron
parents:
diff changeset
   166
	
cawthron
parents:
diff changeset
   167
.titleSmall {
cawthron
parents:
diff changeset
   168
	font-family: Verdana, Arial, Helvetica, sans-serif;
cawthron
parents:
diff changeset
   169
	font-size: 10px;
cawthron
parents:
diff changeset
   170
	}
cawthron
parents:
diff changeset
   171
cawthron
parents:
diff changeset
   172
	
cawthron
parents:
diff changeset
   173
.plain {
cawthron
parents:
diff changeset
   174
	font-family: Verdana, Arial, Helvetica, sans-serif;
cawthron
parents:
diff changeset
   175
	font-size: 12px;
cawthron
parents:
diff changeset
   176
	font-style: normal;
cawthron
parents:
diff changeset
   177
	line-height: normal;
cawthron
parents:
diff changeset
   178
	font-weight: normal;
cawthron
parents:
diff changeset
   179
	font-variant: normal;
cawthron
parents:
diff changeset
   180
	color: #000000;
cawthron
parents:
diff changeset
   181
	text-decoration: none;
cawthron
parents:
diff changeset
   182
	}
cawthron
parents:
diff changeset
   183
cawthron
parents:
diff changeset
   184
a:link 		{ color: #0033CC }
cawthron
parents:
diff changeset
   185
a:visited	{ color: #555555 }
cawthron
parents:
diff changeset
   186
a:hover 	{ color: #0033CC }
cawthron
parents:
diff changeset
   187