/* $Id: tugstyle.css,v 1.43 2023/10/04 16:43:55 karl Exp $
Copyright 2008-2023 TeX Users Group.
You may freely use, modify and/or distribute this file. */
BODY {
margin-top: 1rem;
margin-left: 1rem; /* auto results in two-digit
lost off left */
margin-right: 1rem;
margin-bottom: 1rem;
/* The idea is to use the whole window, unless it is ridiculously wide. */
max-width: 60rem;
}
/* phones, tablets, whatever: render bigger. Requires viewport decl. */
@media (max-width:768px) {
body { font-size:130%; }
/* quirks mode (what we use) reverts to the browser default size
(16px) in tables; this makes it inherit the increased body size
that we just set: */
table { font-size: 100%; }
}
H1, H2, H3, H4 { color: navy; }
a:link { color: navy; }
a:visited { color: green; }
a:active { color: red; }
.negskip { margin-top: -.6rem; }
.negskipp { margin-top: -.9rem; }
.tinyskip { margin-top: 2pt; }
.smallskip { margin-top: 8pt; }
.indent { text-indent: 2rem; }
/* for the home page */
.navbar { color: navy; background: "E5E5E5"; text-decoration: none}
.navbar a:link { color: navy; }
.navbar a:visited { color: navy; }
.navbar a:hover { color: red; }
/* In case the browser doesn't have these HTML5 elements. Although only the
home page needs