summaryrefslogtreecommitdiff
path: root/resources/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'resources/style.css')
-rw-r--r--resources/style.css93
1 files changed, 0 insertions, 93 deletions
diff --git a/resources/style.css b/resources/style.css
deleted file mode 100644
index 17d13741a7..0000000000
--- a/resources/style.css
+++ /dev/null
@@ -1,93 +0,0 @@
-header h1 {
- text-align: center;
-}
-
-header .date {
- text-align: center;
-}
-
-nav ul {
- list-style-type: none;
-}
-
-.container > h1 a,
-.container > h2 a,
-.container > h3 a,
-.container > h4 a,
-.container > h5 a,
-.container > h6 a {
- text-decoration: none;
- color: #111;
-}
-
-p {
- -moz-font-feature-settings: "onum";
- -ms-font-feature-settings: "onum";
- -webkit-font-feature-settings: "onum";
- font-feature-settings: "onum";
-}
-
-pre {
- margin-left: 1em;
- margin-right: 1em;
- padding: 1em;
- background-color: #EEE;
-}
-
-pre.math {
- margin: 0;
- padding: 0;
- background-color: transparent;
- border: 0;
-}
-
-pre[class="grammar"]:before {
- content: "Syntax\A";
- font-family: Heuristica;
- font-size:110%;
- font-weight:bold;
-}
-
-code > span {
- font-weight: normal !important;
-}
-
-code {
- padding-left: 0.1em;
- padding-right: 0.1em;
-}
-
-/* examples */
-ol[type="1"] {
- list-style-type: none;
- margin-left: 1em;
- margin-right: 1em;
- padding: 0;
-}
-
-ol[type="1"] > li {
- margin-top: 1em;
- padding: 1em;
- background-color: #E5ECF9;
-}
-
-ol[type="1"] > li:before {
- content: "Example";
- font-weight:bold;
-}
-
-#popoutTOC {
- position: fixed;
- top: 0;
- left: 0;
- margin: 0;
- padding: 0;
-}
-
-#popoutTOC .head {
-
-}
-
-#popoutTOC .links {
- display: none;
-}