licenses.d/by-sa/legalcode_files/deeds.css
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Jan 22 23:20:18 2011 +0100 (2011-01-22)
changeset 2305 2ed26c646568
parent 1 eeea35fbf182
permissions -rw-r--r--
scripts: create the makeinfo wrapper before we set PATH

If we set PATH to the tools wrappers before we create the
makeinfo wrapper, then we may well wrap an existing wrapper
from a previous run.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.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
}