diff --git a/pr/1136/overview/css/autodiff.css b/pr/1136/overview/css/autodiff.css new file mode 100644 index 000000000..e18e7edaf --- /dev/null +++ b/pr/1136/overview/css/autodiff.css @@ -0,0 +1,34 @@ +.autohide { + visibility: hidden; + background-color: white; + padding: 2px; + font-weight: bold; + z-index: 2; + opacity: 0; + transition: visibility 0s 4s, opacity 4s linear; +} +.autoshow { + visibility: visible; + background-color: white; + padding: 2px; + font-weight: bold; + z-index: 2; + opacity: 1; +} +.diffinfo { + border: 2px solid #777777; + background-color: #eeee55; + border-radius: 1em; +} +body { + margin-top: 1in; +} +#_autodiff_buttons { + width: 50em; + background-color: white; + border-top: none; + border-left: none; + border-right: none; + border-bottom: 1px dotted black; +} + diff --git a/pr/1136/overview/css/base.css b/pr/1136/overview/css/base.css new file mode 100644 index 000000000..e04160dc6 --- /dev/null +++ b/pr/1136/overview/css/base.css @@ -0,0 +1,1221 @@ +/****************************************************************************** + * Style sheet for the W3C specifications * + * + * Special classes handled by this style sheet include: + * + * Indices + * - .toc for the Table of Contents (
    ) + * + for the section numbers + * - #toc for the Table of Contents (