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