|
@@ -4,108 +4,6 @@ layout: default
|
|
|
# Follow comments below in various sections for further explanation
|
|
|
---
|
|
|
|
|
|
-<style type="text/css">
|
|
|
-/* CLASSES */
|
|
|
-.editable { /* All editable fields */
|
|
|
- padding: 10px 10px 10px 10px;
|
|
|
- min-height: 1.5em;
|
|
|
- font-family: serif;
|
|
|
- border-bottom: 1px dashed gray;
|
|
|
-}
|
|
|
-.question {
|
|
|
- color: gray;
|
|
|
-}
|
|
|
-
|
|
|
-/* Tooltip for Modules
|
|
|
- https://www.w3schools.com/css/tryit.asp?filename=trycss_tooltip_right
|
|
|
- This could bear substantial improvement. */
|
|
|
-.button {
|
|
|
- position: relative;
|
|
|
- display: inline-block;
|
|
|
- float: right;
|
|
|
- border: 1px solid gray;
|
|
|
- color: gray;
|
|
|
- background-color: white;
|
|
|
- text-align: center;
|
|
|
- border-radius: 6px;
|
|
|
- padding: 0 5px 0 5px;
|
|
|
-}
|
|
|
-.button .tooltiptext {
|
|
|
- visibility: hidden;
|
|
|
- width: 250px;
|
|
|
- border: 1px solid black;
|
|
|
- background-color: white;
|
|
|
- text-align: center;
|
|
|
- border-radius: 6px;
|
|
|
- padding: 5px 0;
|
|
|
- /* Position the tooltip */
|
|
|
- position: absolute;
|
|
|
- z-index: 1;
|
|
|
- right: 100%;
|
|
|
-}
|
|
|
-.button:hover {
|
|
|
- background-color: lightgray;
|
|
|
-}
|
|
|
-.button:hover .tooltiptext {
|
|
|
- visibility: visible;
|
|
|
-}
|
|
|
-/* pushButton
|
|
|
-These are the major functional buttons*/
|
|
|
-.pushButton {
|
|
|
- border: 1px solid gray;
|
|
|
- color: gray;
|
|
|
- background-color: white;
|
|
|
- text-align: center;
|
|
|
- border-radius: 6px;
|
|
|
- padding: 5px;
|
|
|
- font-size: 1.2em;
|
|
|
-}
|
|
|
-.pushButton:hover {
|
|
|
- background-color: lightgray;
|
|
|
-}
|
|
|
-.plus { /* The maximize/minimize button */
|
|
|
- font-size: 1em;
|
|
|
-}
|
|
|
-.icons {
|
|
|
- /* icons are from https://github.com/tabler/tabler-icons */
|
|
|
- margin: 0 5px 0 0;
|
|
|
-}
|
|
|
-/* VARIOUS IDs */
|
|
|
-#rulebox {
|
|
|
- border: 1px solid lightgray;
|
|
|
- padding: 20px;
|
|
|
- margin: 20px 0 30px 0;
|
|
|
-}
|
|
|
-#rulebox h2 {
|
|
|
- font-family: serif;
|
|
|
-}
|
|
|
-#communityname {
|
|
|
- font-weight: bold;
|
|
|
-}
|
|
|
-#editToggle {
|
|
|
- float: right;
|
|
|
- clear: both;
|
|
|
-}
|
|
|
-#toggleDisplayMode {
|
|
|
- margin: 0 0 10px 0;
|
|
|
- display: none;
|
|
|
-}
|
|
|
-#publishRule {
|
|
|
- margin: 0 0 10px 0;
|
|
|
-}
|
|
|
-#structure {
|
|
|
- font-size: 1.3em;
|
|
|
-}
|
|
|
-#attribution {
|
|
|
- font-family: serif;
|
|
|
- font-size: .8em;
|
|
|
- text-align: right;
|
|
|
-}
|
|
|
-#trash {
|
|
|
- display: none;
|
|
|
-}
|
|
|
-</style>
|
|
|
-
|
|
|
<script>
|
|
|
// Enter JavaScript-land!
|
|
|
// First, some functions, followed by initialization commands
|