cdt/cdt_5_0_x/org.eclipse.cdt.doc.isv/schema.css
author dadubrow
Mon, 06 Apr 2009 09:15:05 -0500
changeset 5 185d5fe9a600
parent 1 a7cc18b7a772
permissions -rw-r--r--
adding ignore file
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
cawthron
parents:
diff changeset
     1
H6.CaptionFigColumn#header {
cawthron
parents:
diff changeset
     2
	font-size:16px; 
cawthron
parents:
diff changeset
     3
	display:inline
cawthron
parents:
diff changeset
     4
}
cawthron
parents:
diff changeset
     5
cawthron
parents:
diff changeset
     6
P.Note#copyright {
cawthron
parents:
diff changeset
     7
	font-size: smaller; 
cawthron
parents:
diff changeset
     8
	font-style: normal;
cawthron
parents:
diff changeset
     9
	color: #336699; 
cawthron
parents:
diff changeset
    10
	display:inline;
cawthron
parents:
diff changeset
    11
	margin-top: 3.000000pt;
cawthron
parents:
diff changeset
    12
	margin-bottom: 11.000000pt;
cawthron
parents:
diff changeset
    13
	margin-right: 0.000000pt;
cawthron
parents:
diff changeset
    14
	margin-left: 0.000000pt;
cawthron
parents:
diff changeset
    15
}
cawthron
parents:
diff changeset
    16
cawthron
parents:
diff changeset
    17
P.Code#dtd {
cawthron
parents:
diff changeset
    18
	color: #800000; 
cawthron
parents:
diff changeset
    19
	margin-top: 0.000000pt;
cawthron
parents:
diff changeset
    20
	margin-bottom: 0.000000pt;
cawthron
parents:
diff changeset
    21
	margin-right: 0.000000pt;
cawthron
parents:
diff changeset
    22
	margin-left: 10.000000pt;
cawthron
parents:
diff changeset
    23
}
cawthron
parents:
diff changeset
    24
cawthron
parents:
diff changeset
    25
P.Code#dtdAttlist {
cawthron
parents:
diff changeset
    26
	color: #800000; 
cawthron
parents:
diff changeset
    27
	margin-top: 0.000000pt;
cawthron
parents:
diff changeset
    28
	margin-bottom: 0.000000pt;
cawthron
parents:
diff changeset
    29
	margin-right: 0.000000pt;
cawthron
parents:
diff changeset
    30
	margin-left: 20.000000pt;
cawthron
parents:
diff changeset
    31
}
cawthron
parents:
diff changeset
    32
cawthron
parents:
diff changeset
    33
P.Code#tag {
cawthron
parents:
diff changeset
    34
	color: #000080; 
cawthron
parents:
diff changeset
    35
	display:inline;
cawthron
parents:
diff changeset
    36
	margin-top: 0.000000pt;
cawthron
parents:
diff changeset
    37
	margin-bottom: 0.000000pt;
cawthron
parents:
diff changeset
    38
	margin-right: 0.000000pt;
cawthron
parents:
diff changeset
    39
	margin-left: 0.000000pt;
cawthron
parents:
diff changeset
    40
}
cawthron
parents:
diff changeset
    41
cawthron
parents:
diff changeset
    42
P.Code#cstring {
cawthron
parents:
diff changeset
    43
	color: #008000; 
cawthron
parents:
diff changeset
    44
	display:inline;
cawthron
parents:
diff changeset
    45
	margin-top: 0.000000pt;
cawthron
parents:
diff changeset
    46
	margin-bottom: 0.000000pt;
cawthron
parents:
diff changeset
    47
	margin-right: 0.000000pt;
cawthron
parents:
diff changeset
    48
	margin-left: 0.000000pt;	
cawthron
parents:
diff changeset
    49
}
cawthron
parents:
diff changeset
    50
cawthron
parents:
diff changeset
    51
.ConfigMarkup#elementDesc {
cawthron
parents:
diff changeset
    52
	color: black;
cawthron
parents:
diff changeset
    53
	margin-top: 0.000000pt;
cawthron
parents:
diff changeset
    54
	margin-bottom: 0.000000pt;
cawthron
parents:
diff changeset
    55
	margin-right: 0.000000pt;
cawthron
parents:
diff changeset
    56
	margin-left: 10.000000pt;
cawthron
parents:
diff changeset
    57
}
cawthron
parents:
diff changeset
    58
cawthron
parents:
diff changeset
    59
.ConfigMarkup#attlistDesc {
cawthron
parents:
diff changeset
    60
	color: black;
cawthron
parents:
diff changeset
    61
	margin-top: 0.000000pt;
cawthron
parents:
diff changeset
    62
	margin-bottom: 0.000000pt;
cawthron
parents:
diff changeset
    63
	margin-right: 0.000000pt;
cawthron
parents:
diff changeset
    64
	margin-left: 32.000000pt;
cawthron
parents:
diff changeset
    65
}
cawthron
parents:
diff changeset
    66