diff options
Diffstat (limited to 'resources/style.css')
-rw-r--r-- | resources/style.css | 93 |
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; -} |