/************** *********************/ html { } /************** *********************/ body { min-height: 100vh; font-family:'Pontano Sans', Arial, Helvetica, sans-serif; font-size:16px; background-color:White; } /**************

*******************/ .center { margin:1em auto 1em auto; width:90%; min-width:10em; max-width:35em; text-align:justify; line-height:1.5em; } .min { text-align:center; min-width:1em; } .max { text-align:center; max-width: 99%; width: 99%; } div.menu { text-align:right; } div.text { padding: 3em 0em 0em 0em; } div.sky { margin: 0em auto 0em auto; padding: 0em; border: 0px solid white; width:100%; background-image: linear-gradient(deepskyblue, lightcyan); } div.land { margin: 0em auto 0em auto; padding: 0em; border: 0px solid white; width:100%; background-color:peru; } div.ocean { height: 100%; background-color: rgb(0, 100, 100); background-image: linear-gradient(150deg, rgba(255,255,255,0.05) 0px, transparent 100%), linear-gradient(195deg, rgba(255,255,255,0.05) 0px, transparent 100%), linear-gradient(165deg, rgba(255,255,255,0.05) 0px, transparent 100%), linear-gradient(180deg, rgba(255,255,255,0.05) 0px, transparent 100%), linear-gradient(to top, rgba(255,255,255,1.00) 0px, transparent 100%); background-size: 3px 21px, 5px 34px, 8px 59px, 13px 89px, 100% 100%; animation-duration: 30s; animation-iteration-count: 4; animation-timing-function: ease-out; } div.paths {} div.path { display: flex; overflow:hidden; } div.origin { width: 10em; } div.next { margin: 0.1em; background-image: linear-gradient(to right, grey, white, grey); text-align: center; } div.fill { width: 1fr; } /************** *********************/ span.big { font-size: 2em; } span.hefty { font-size: 1.5em;} span.huge { font-size: 5em; } span.D { color:grey;} span.P { color:black;} span.nowrap { white-space: nowrap; } span.note { color: red; } /************* *********************/ h1 { color:black; text-align:center; font-size:1.6em; font-weight:bold; margin: 3em 0em 1em 0em; } h2 { text-align:center; font-size:1.2em; font-weight:bold; margin:1em 0em 1em 0em; padding: 1em; } h3 { display:block; color:darkgrey; text-align:center; font-size:1em; font-weight:normal; margin: 0em; padding: 0em 0em 1em 0em; } h5 { /** background-color:red; **/ border: 3px solid red; text-align:center; font-size:1.2em; font-weight:bold; margin:0em 0em 1em 0em; padding: 0.2em; } h6 { color:black; text-align:right; font-size:1.6em; font-weight:bold; margin: 0em; display:inline; } /************** *********************/ small { font-size:0.7em; } strong { font-size : 1.2em; font-weight: bold; } /**************

*********************/ p { margin: 1em 0em 1em 0em; } /**************

*********************/ li { text-align:left; } li.links { padding: 1em 0em 1em 0em; } li.glossary { padding: 1em 0em 1em 0em; } /************** *********************/ table { text-align:center; padding:12px; /* border:solid #666666 1px; */ border:none; border-collapse:collapse; } table.layout { border:#666666 none 1px; text-align:left; } table.header { text-align:center; border:#666666 solid 3px; } /**************

*******************/ th { padding:0.2em; font-weight:bold; text-align:center; } th.l { text-align:left; } th.c { text-align:center; } th.r { text-align:right; } /************	*******************/ td { padding:0.2em; } td.l { text-align:left; } td.c { text-align:center; } td.r { text-align:right; } /********** *****************/ fieldset { margin:0em; padding:1em; border:DimGrey inset 1px; } /********** *****************/ legend { color:#000000; font-weight:bold; font-size:15px; } /********** ******************/ a:link { color:black; font-weight: bold;} / unvisited link / a:visited { color:purple; font-weight: normal;} / visited link / a:hover { color:DarkOrange;} / mouse over link / a:active { color:DarkOrange;} / selected link / a.icon { color:black; font-size: 1.5em; padding: 0em 0.3em 0em 0.3em; } a.glossary { font-style : italic; font-weight : normal; text-decoration: none; background-image: radial-gradient(khaki, white); } a.exit::after { content: "↗"; } /*********** ******************/ input { font-family:'Pontano Sans', sans-serif; font-size:large; / vertical-align:middle; / margin:0.5em; border:white solid 1px; border-radius:4px; background-color:white; } input[type='text'] { border: 1px solid black; } input[type='submit'] { border: 1px solid black; } / https://stackoverflow.com/questions/15988373/how-do-i-add-a-font-awesome-icon-to-input-field / input.icon { font-family: "Font Awesome 5 Free"; font-size: 1.6em; font-weight: 900; margin:0em; padding: 0em 0.3em 0em 0.3em; text-align:right; } input.like { color:red } input.dull { color:black } input#merge { width:8em; } input.tag { border: 2px black solid; font-size:0.9em; margin:0.2em; } input.delete { /* text-decoration:line-through; / background-color:goldenrod; } /************

*********************/ th { padding:0.2em; font-weight:bold; text-align:center; } th.l { text-align:left; } th.c { text-align:center; } th.r { text-align:right; } /**************

*********************/ td { padding:0.2em; } td.l { text-align:left; } td.c { text-align:center; } td.r { text-align:right; } /**************

*********************/ fieldset { margin:0em; padding:1em; border:DimGrey inset 1px; } /************** *********************/ legend { color:#000000; font-weight:bold; font-size:15px; } /************** *********************/ a:link { color:black; font-weight: bold;} /* unvisited link */ a:visited { color:purple; font-weight: normal;} /* visited link */ a:hover { color:DarkOrange;} /* mouse over link */ a:active { color:DarkOrange;} /* selected link */ a.icon { color:black; font-size: 1.5em; padding: 0em 0.3em 0em 0.3em; } a.glossary { font-style : italic; font-weight : normal; text-decoration: none; background-image: radial-gradient(khaki, white); } a.exit::after { content: "↗"; } /************** *********************/ input { font-family:'Pontano Sans', sans-serif; font-size:large; /* vertical-align:middle; */ margin:0.5em; border:white solid 1px; border-radius:4px; background-color:white; } input[type='text'] { border: 1px solid black; } input[type='submit'] { border: 1px solid black; } /* https://stackoverflow.com/questions/15988373/how-do-i-add-a-font-awesome-icon-to-input-field */ input.icon { font-family: "Font Awesome 5 Free"; font-size: 1.6em; font-weight: 900; margin:0em; padding: 0em 0.3em 0em 0.3em; text-align:right; } input.like { color:red } input.dull { color:black } input#merge { width:8em; } input.tag { border: 2px black solid; font-size:0.9em; margin:0.2em; } input.delete { /** text-decoration:line-through; **/ background-color:goldenrod; } /**************