Revision 2d862a43a287fccba024673099584e5460b990f9 authored by Frédérik Paradis on 19 December 2016, 17:21:01 UTC, committed by Frédérik Paradis on 19 December 2016, 17:21:01 UTC
1 parent cdf6255
cgal.css
/* COPY FROM the svn cgal-web/www.cgal.org/cgal.css for rendering changes.html nicely */
html, body {
margin:0;
background-color: #FAF8E8;
font-family: arial,sans-serif;
color:black;
}
li { font-size:100%;}
p { text-align:justify; font-size:100%; margin: 5pt;}
img { border-width: 0pt; }
dl,p,h1,h2,h3,h4,ul,ol,li,div,td,th,address,blockquote,nobr,b
{ font-family:Arial,sans-serif; }
td { text-align:justify;}
h1 { font-size:180%; margin-left: 5pt;}
h2 { font-size:160%; margin-left: 5pt;}
h3 { font-size:100%; margin-left: 5pt;}
h4 { font-size:90%; margin-left: 5pt;}
pre { font-family:Courier New,Courier; font-size:100%; }
tt { font-family:Courier New,Courier; font-size:100%; }
/* a:link { color:#050060; text-decoration:none; } */
/* a:visited { color:#590059; text-decoration:none; } */
/* a:active { color:#000000; text-decoration:none; } */
a:link { text-decoration:none; }
a:visited { color: #5000CC; text-decoration:none; }
a:active { color: #00A080; text-decoration:none; }
.contact { font-family:arial,sans-serif; font-size:100%}
dl.news { font-size:90% }
dl.news dt { font-weight:bold; }
dl.news dd { margin-left:3ex; }
td.menu { background-color: #C0C0D0; white-space:nowrap }
/* We are forced to duplicate definitions because IE does not support ">" */
div.menu { font-size:100%; /* margin-left: -30pt; */ /* margin-top: 10pt; margin-bottom: 3pt */ }
div.menu > h4 { font-size:100%; /* margin-left: 3pt; */ margin-top: 10pt; margin-bottom: 3pt; }
h4.menu { font-size:100%; /* margin-left: 3pt; */ margin-top: 10pt; margin-bottom: 3pt; }
div.menu > p { font-size:100%; margin-left: 10pt; margin-top: 0pt; margin-bottom:0pt; /*; margin-right:5pt */ }
p.menu { font-size:100%; margin-left: 10pt; margin-top: 0pt; margin-bottom:0pt; /*; margin-right:5pt */ }
img.menu { margin-top: 0pt; margin-bottom:0pt }
em.menu { font-style: normal; font-family:Arial,sans-serif; font-size:90%; }
.subtitle { font-family: cursive; font-size: 150% }
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...