licenses.d/by-sa/legalcode_files/deeds.css
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Tue Mar 11 22:11:43 2014 +0100 (2014-03-11)
changeset 3293 e11a8a2e225d
parent 1 eeea35fbf182
permissions -rw-r--r--
comptools: do not force build of make-3.81 unless really needed

On systems with make-3.82, we forcibly force the build and the use
of make-3.81

But some newer tools break when building with make-3.81. For example,
eglibc-3.18 breaks.

Introduce a new blind options that tools may select if they require
make-3.81. If the system does not have make-3.81, and this option is
selected, then we force the build of make-3.81. Otherwise, we leave
it to the user to decide on his own.

Note that no component selects this option for now. It will come in
later patches as we find them.

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
}