<html>
<head>
+<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="newlib.css" />
</head>
<body>
<html>
<head>
+<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="newlib.css" />
</head>
<body>
<html>
<head>
+<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="newlib.css" />
</head>
<body>
<head>
<title>The Newlib Homepage</title>
+ <meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="newlib.css" />
</head>
<html>
<head>
+<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="newlib.css" />
</head>
<body>
<html>
<head>
+<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="newlib.css" />
</head>
<body>
height: 100%;
width: 100%;
}
+
+/* This is ~768px with 16pt font. */
+@media only screen and (max-width: 50em) {
+ .main tr.top {
+ height: 70px;
+ }
+
+ .main td.left {
+ width: 100px;
+ }
+}
+
+/* This is ~480px with 16pt font. */
+@media only screen and (max-width: 30em) {
+ .main td.left {
+ width: 5%;
+ }
+
+ ul {
+ padding-left: 1em;
+ }
+
+ dd {
+ margin-left: 1em;
+ }
+
+ /* How many spaces-per-tab. */
+ pre {
+ tab-size: 4;
+ }
+}
<html>
<head>
+<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="newlib.css" />
</head>
<body>