FCL/sftools/dev/ide/carbidecpp: core/com.nokia.carbide.cpp/carbide.css@a28d71356238 (annotated)

0 fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	1	/*
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	2	Copyright (c) 2009 Nokia Corporation and/or its subsidiary(-ies).
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	3	All rights reserved.
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	4	License: http://www.eclipse.org/legal/epl-v10.html
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	5	*/
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	6
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	7	body {
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	8	font-family: Helvetica, sans-serif;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	9	color: #000000;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	10	margin:20px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	11	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	12
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	13	.intro-header h1 {
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	14	font-family: Helvetica, sans-serif;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	15	font-size: 20px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	16	color: #00A1D0;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	17	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	18
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	19	.bgbox { background-image: url(images/whitebg.gif); background-repeat: repeat}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	20
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	21	.copytext { font-family: Helvetica, sans-serif;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	22	font-size: x-small;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	23	color: #666666;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	24	font-weight: 500;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	25	padding-top: 1px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	26	padding-right: 1px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	27	padding-left: 2px
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	28	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	29
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	30	h2, h4 {
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	31	font-family: Helvetica, sans-serif;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	32	font-size: 16px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	33	font-weight: 600;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	34	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	35
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	36	h4 {
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	37	font-size: 12px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	38	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	39
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	40	.box { width: 200px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	41	height: 200px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	42	margin-right: 10px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	43	float: left;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	44	margin: 10px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	45	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	46
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	47	.box2 { width: 640px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	48	height: 200px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	49	margin-right: 10px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	50	float: left;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	51	margin: 10px;}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	52
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	53	.box3 { width: 200px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	54	height: 640px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	55	margin-right: 10px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	56	float: left;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	57	margin: 10px;}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	58
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	59	.box4 { width: 200px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	60	height: 420px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	61	margin-right: 10px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	62	float: left;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	63	margin: 10px;}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	64
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	65	.box, .box2, .box3, .box4 {
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	66	background-color: #FFF;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	67	background-image: url(intro/css/graphics/icons/carbide_bullet_blue.png);
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	68	background-repeat: no-repeat;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	69	background-position: 5 5;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	70	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	71
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	72	h3 { font-family: Helvetica, sans-serif;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	73	font-size: 12px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	74	font-weight: 500;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	75	color: #333333
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	76	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	77
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	78	.text, p, li, td {
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	79	font-family: Georgia, serif;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	80	font-size: 13px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	81	margin-top: 2px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	82	margin-left: 20px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	83	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	84
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	85	.titleSmall {
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	86	font-family: Helvetica, sans-serif;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	87	font-size: 10px;}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	88	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	89
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	90
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	91	/* Carbide home page adjustments */
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	92	table {
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	93	border: 0px solid #999;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	94	table-layout: auto;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	95	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	96
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	97	td, th {
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	98	border: 0px solid #999;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	99	padding: 5px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	100	vertical-align:top;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	101	}
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	102
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	103	table tr td h2 {
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	104	margin-left: 0px;
fb279309251b DP tools release version Revision: 200912 Deepak Modgil <Deepak.Modgil@Nokia.com> parents: diff changeset	105	}

author	dadubrow
	Wed, 01 Jul 2009 08:54:31 -0500
changeset 335	a28d71356238
parent 0	fb279309251b
child 482	b17329432d21
permissions	-rw-r--r--