Rework a little bit of the LAN mirror and proxy settings.
/trunk/scripts/crosstool.sh | 105 4 101 0 +------------------------
/trunk/scripts/functions | 151 129 22 0 +++++++++++++++++++++++++++++++-----
/trunk/config/global/download.in | 193 99 94 0 ++++++++++++++++++++++++----------------------
3 files changed, 232 insertions(+), 217 deletions(-)
4 font-family: verdana, arial, helvetica, sans-serif;
6 background-color: white;
9 /* part 1 of 2 centering hack */
19 /* opera does not like 'margin:20px auto' */
21 border: 3px groove #333;
23 /* part 2 of 2 centering hack */
24 width: 620px; /* ie5win fudge begins */
25 voice-family: "\"}\"";
31 width: 584px; /* ie5win fudge ends */
35 border:1px solid black;
42 font-family:verdana, sans-serif;
51 font-family:verdana, sans-serif;