Mercurialcrosstool-ng / file revision
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | latest | revisions | annotate | diff | raw | help
licenses.d/by-sa/legalcode_files/deeds.css
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jul 13 10:32:38 2008 +0000 (2008-07-13)
changeset 645 8e58024f8e37
parent 1 eeea35fbf182
permissions -rw-r--r--
Ioannis E. VENETIS <venetis@mail.capsl.udel.edu> pointed out that GMP and MPFR were not used by gcc.
Turned out that none could use GMP and MPFR as the config option changed its name, but the change was not propagated to all users.

/trunk/scripts/build/binutils.sh | 2 1 1 0 +-
/trunk/scripts/build/debug/300-gdb.sh | 2 1 1 0 +-
/trunk/scripts/build/cc_gcc.sh | 6 3 3 0 +++---
3 files changed, 5 insertions(+), 5 deletions(-) 
     1 body {

     2 	margin: 0px;

     3 	padding: 0px;

     4 	font-family: verdana, arial, helvetica, sans-serif;

     5 	color: black;

     6 	background-color: white;

     7 	text-align: center;

     8 	font-size:11px;

     9 	/* part 1 of 2 centering hack */

    10 	}

    11 

    12 #deed {

    13 	width: 620px; 

    14 	padding: 15px;

    15 	margin-top: 20px;

    16 	margin-bottom: 20px;

    17 	margin-right: auto;

    18 	margin-left: auto; 	

    19 	/* opera does not like 'margin:20px auto' */

    20 	background: #ffc;

    21 	border: 3px groove #333;

    22 	text-align:left; 

    23 	/* part 2 of 2 centering hack */

    24 	width: 620px; /* ie5win fudge begins */

    25 	voice-family: "\"}\"";

    26 	voice-family:inherit;

    27 	width: 584px;

    28 	}

    29 	

    30 html>body #content {

    31 	width: 584px; /* ie5win fudge ends */

    32 	}

    33 	

    34 .fineprint {

    35 	border:1px solid black; 

    36 	padding:8px; 

    37 	background:#ffffff;

    38 	text-align:justify;

    39 }

    40 

    41 .text, li {

    42 	font-family:verdana, sans-serif;

    43 	font-size:11px;

    44 	margin-left:20px;

    45 	margin-right:20px;

    46 	line-height:140%;

    47 	text-align:left;

    48 }

    49 

    50 .tiny {

    51 	font-family:verdana, sans-serif;

    52 	font-size:11px;

    53 	margin-bottom:10px;

    54 }
crosstool-ng