licenses.d/by-sa/legalcode_files/deeds.css
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jan 04 22:17:53 2009 +0000 (2009-01-04)
changeset 1123 8c5881324a79
parent 1 eeea35fbf182
permissions -rw-r--r--
Get rid of CT_LIBC_FILE, remove useless CT_MakeAbsolutePath.

CT_LIBC_FILE:
- that one was not easy, as it had sneaked into CT_ExtractAndPatch
- which in turn made CT_ExtractAndPatch have references to C library addons
- which in turn relieved the C library _extract functions from doing their own job
- which in turn imposed some nasty tricks in CT_ExtractAndPatch
- which in turn made life easier for the DUMA _get and _extract functions
- which unveiled some bizare behavior for pushd and popd:
- if using smthg ike: 'pushd foo |bar':
- the directory is *neither* changed
- *nor* is it pushed onto the stack
- which made popd fail

CT_MakeAbsolutePath:
- used only to make CT_LOCAL_TARBALLS_DIR canonical
- which is ((almost) useless:
- hopefully, the user entered a full path already
- if it's not the case, too bad...

/trunk/scripts/build/debug/200-duma.sh | 5 1 4 0 +--
/trunk/scripts/build/libc/glibc.sh | 61 32 29 0 +++++++++++++++++---------------
/trunk/scripts/build/libc/uClibc.sh | 16 10 6 0 +++++---
/trunk/scripts/build/libc/eglibc.sh | 48 26 22 0 ++++++++++++++-----------
/trunk/scripts/crosstool.sh | 8 0 8 0 ----
/trunk/scripts/functions | 77 15 62 0 ++++++++--------------------------------
6 files changed, 84 insertions(+), 131 deletions(-)
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
}