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