/*
Copyright (C) 2021  Karl J. Obermeyer

This file is part of VisiLibity v1.

VisiLibity v1 is free software: you can redistribute it and/or modify it under
the terms of the GNU Lesser General Public License as published by the
Free Software Foundation, either version 3 of the License, or (at your
option) any later version.

VisiLibity v1 is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
License for more details.

You should have received a copy of the GNU Lesser General Public
License along with VisiLibity v1.  If not, see <http://www.gnu.org/licenses/>.
*/


* {
  -ms-box-sizing: border-box;
  -webkit-box-sizing: border-box;
          box-sizing: border-box;
  font-family: 'Roboto', sans-serif, monospace;
  /*font-family: "lucida console", monospace;*/
  /*font-family: "Arial, Helvetica", sans-serif;*/
  /* outline: 1px solid red !important; */
}

a {
  color: rgb(1, 1, 156);
  text-decoration: none;
}

a:visited {
  color: rgb(133, 1, 133);
}

a:hover, a:focus {
  text-decoration: underline;
}

table {
  border-collapse: collapse;
}

header {
  width: 100%;
  text-align: center;
}

body {
  background-color: white;
  margin: 3px auto 0 auto;
  padding: 0;
  max-width: 900px; /* default 960 */
  min-width: 320px; /* default 320 */
}

dt {
  font-weight: bolder;
}

pre {
  margin-bottom: -1em;
}


/* --- Main Content --- */

.content {
  max-width: 900px; /* default 960 */
  margin: 0;
  min-width: 320px; /* default 320 */
  padding: 0;
}

.weak-page-separator-div {
  background-color: black;
  border: 1px solid black;
  height: 3px;
  margin: 2em 3px 1em 3px;
}

.page-separator-div {
  background-color: black;
  border: 1px solid black;
  height: 6px;
  margin: 2em 3px 1em 3px;
}

article {
  margin: 0 auto 0 auto;
  overflow-wrap: break-word; /* renamed property in CSS3 draft spec */
  width: 95%;
  word-wrap: break-word; /* all browsers since IE 5.5+ */
}


/* --- Footer --- */

footer {
  display: -webkit-box;
  display: -ms-flexbox;
  display: flex;
  -ms-flex-wrap: wrap;
  flex-wrap: wrap;
  text-align: center;
  margin: 1em 0 0 0;
  padding: 0;
}

.copyright {
  width: 100%;
}