aboutsummaryrefslogtreecommitdiff
path: root/doc/that_style/sass/_fragment_base.scss
diff options
context:
space:
mode:
Diffstat (limited to 'doc/that_style/sass/_fragment_base.scss')
-rw-r--r--doc/that_style/sass/_fragment_base.scss69
1 files changed, 0 insertions, 69 deletions
diff --git a/doc/that_style/sass/_fragment_base.scss b/doc/that_style/sass/_fragment_base.scss
deleted file mode 100644
index b46e46ef..00000000
--- a/doc/that_style/sass/_fragment_base.scss
+++ /dev/null
@@ -1,69 +0,0 @@
-/*
- Basic styling for fragments shared by all themes.
-*/
-
-div.fragment {
- padding: 0;
- margin: 4px 8px 4px 2px;
- color: #bebebe;
- background-color: #323232;
- border: 3px solid #e8e8e8;
- border-radius: 2px;
- overflow-y: hidden;
- overflow-x: auto;
- position: relative;
-
-}
-
-div.line {
- font-family: monospace, fixed;
- font-size: 13px;
- min-height: 13px;
- line-height: 1.0;
- text-indent: -53px;
- margin: 0px;
- padding: 1px 0 1px 53px;
- white-space: pre;
-
- @include transition-property(background-color);
- @include transition-duration(0s);
-
- &:hover {
- background-color: #1a1a1a;
- }
-
- &::after {
- // insert linefeed
- content:"\000A";
- white-space: pre;
- }
-}
-
-span.lineno {
- padding-right: 4px;
- text-align: right;
- color: black;
- height: 100px;
- white-space: pre;
- border-right: 3px solid #1d7567;
- background-color: #a0a0a0;
-}
-
-span.lineno a, span.lineno a:visited {
- background-color: inherit;
- color: #1e595a;
-}
-
-span.lineno a:hover {
- background-color: #C8C8C8;
- text-decoration: none;
-}
-
-.lineno {
- -webkit-touch-callout: none;
- -webkit-user-select: none;
- -khtml-user-select: none;
- -moz-user-select: none;
- -ms-user-select: none;
- user-select: none;
-}