licenses.d/by-sa/deed_files/deeds.css
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Thu Dec 27 12:45:22 2012 +0100 (2012-12-27)
changeset 3152 b286c7993be5
parent 1 eeea35fbf182
permissions -rw-r--r--
scripts/addToolsVersion: properly handle .in vs. .in.2

While most components have their version in the .in file, some
have it in the .in.2 (eg. elf2flt).

Currently, to handle this case, we indiscriminately munge both files,
but this is wrong: in the elf2flt case, if we add a binutils version,
we do not want it to be added to elf2flt, and conversely.

So, for each tool, we need to explicitly know what file to munge.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
yann@1
     1
body {
yann@1
     2
	margin: 0px;
yann@1
     3
	padding: 0px;
yann@1
     4
	font-family: verdana, arial, helvetica, sans-serif;
yann@1
     5
	color: black;
yann@1
     6
	background-color: white;
yann@1
     7
	text-align: center;
yann@1
     8
	font-size:11px;
yann@1
     9
	/* part 1 of 2 centering hack */
yann@1
    10
	}
yann@1
    11
yann@1
    12
#deed {
yann@1
    13
	width: 620px; 
yann@1
    14
	padding: 15px;
yann@1
    15
	margin-top: 20px;
yann@1
    16
	margin-bottom: 20px;
yann@1
    17
	margin-right: auto;
yann@1
    18
	margin-left: auto; 	
yann@1
    19
	/* opera does not like 'margin:20px auto' */
yann@1
    20
	background: #ffc;
yann@1
    21
	border: 3px groove #333;
yann@1
    22
	text-align:left; 
yann@1
    23
	/* part 2 of 2 centering hack */
yann@1
    24
	width: 620px; /* ie5win fudge begins */
yann@1
    25
	voice-family: "\"}\"";
yann@1
    26
	voice-family:inherit;
yann@1
    27
	width: 584px;
yann@1
    28
	}
yann@1
    29
	
yann@1
    30
html>body #content {
yann@1
    31
	width: 584px; /* ie5win fudge ends */
yann@1
    32
	}
yann@1
    33
	
yann@1
    34
.fineprint {
yann@1
    35
	border:1px solid black; 
yann@1
    36
	padding:8px; 
yann@1
    37
	background:#ffffff;
yann@1
    38
	text-align:justify;
yann@1
    39
}
yann@1
    40
yann@1
    41
.text, li {
yann@1
    42
	font-family:verdana, sans-serif;
yann@1
    43
	font-size:11px;
yann@1
    44
	margin-left:20px;
yann@1
    45
	margin-right:20px;
yann@1
    46
	line-height:140%;
yann@1
    47
	text-align:left;
yann@1
    48
}
yann@1
    49
yann@1
    50
.tiny {
yann@1
    51
	font-family:verdana, sans-serif;
yann@1
    52
	font-size:11px;
yann@1
    53
	margin-bottom:10px;
yann@1
    54
}