Skip to content
Navigation Menu
Toggle navigation
Sign in
In this repository
All GitHub Enterprise
↵
Jump to
↵
No suggested jump to results
In this repository
All GitHub Enterprise
↵
Jump to
↵
In this user
All GitHub Enterprise
↵
Jump to
↵
In this repository
All GitHub Enterprise
↵
Jump to
↵
Sign in
Reseting focus
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
gadelrab
/
ExFaKT
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Issues
0
Pull requests
0
Actions
Projects
0
Security
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security
Insights
Files
c2288d2
Api
Client
Demo
Extras
FactSpotting
QueryRewriting
Utils
WebService
WebService2
app
conf
gradle
project
public
images
javascripts
stylesheets
main.css
theme.css
theme.scss
sbt-dist
test
.gitignore
build.gradle
build.sbt
gradlew
gradlew.bat
pom.xml
sbt
sbt.bat
data
scripts
src
.gitignore
.gitmodules
README.md
install_external_jars.sh
pom.xml
rules_splitq_heursitic.out.json
Breadcrumbs
ExFaKT
/
WebService2
/
public
/
stylesheets
/
theme.scss
Blame
Blame
Latest commit
History
History
executable file
·
93 lines (76 loc) · 2.13 KB
Breadcrumbs
ExFaKT
/
WebService2
/
public
/
stylesheets
/
theme.scss
Top
File metadata and controls
Code
Blame
executable file
·
93 lines (76 loc) · 2.13 KB
Raw
// Semantic color scheme $theme-colors: ( primary: #007bff, secondary: #868e96, success: #28a745, info: #17a2b8, warning: #ffc107, danger: #dc3545, light: #f8f9fa, dark: #343a40 ); // Options // // Quickly modify global styling by enabling or disabling optional features. $enable-rounded: true !default; $enable-shadows: false; $enable-gradients: false; $enable-transitions: true !default; $enable-hover-media-query: false !default; $enable-grid-classes: true !default; $enable-print-styles: true !default; // Variables // // Theme settings. $body-bg: white; $body-color: #292b2c; $body-color-inverse: invert($body-color) !default; $link-color: #00b0eb; $font-family-base: -apple-system, system-ui, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif; $headings-font-family: -apple-system, system-ui, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif !default; $font-size-base: 1rem; // Assumes the browser default, typically `16px` $font-size-h1: 2.5 * $font-size-base; $font-size-h2: 2 * $font-size-base; $font-size-h3: 1.75 * $font-size-base; $font-size-h4: 1.5 * $font-size-base; $font-size-h5: 1.25 * $font-size-base; $font-size-h6: $font-size-base; $display1-size: 6 * $font-size-base; $display2-size: 5.5 * $font-size-base; $display3-size: 4.5 * $font-size-base; $display4-size: 3.5 * $font-size-base; $border-radius: .25rem; @import 'bootstrap-4.0.0-beta.1'; body > * { background-size: cover; } .opaque-overlay { overflow: hidden; position: relative; > *:first-child:before { content: ''; width: 100%; height: 100%; display: block; position: absolute; left: 0px; top: 0px; pointer-events:none; background: rgba(map-get($theme-colors, 'dark'), 0.25); } } .gradient-overlay { overflow: hidden; position: relative; > *:first-child:before { content: ''; width: 100%; height: 100%; display: block; position: absolute; left: 0px; top: 0px; pointer-events:none; background: linear-gradient(to top, map-get($theme-colors, 'dark') 0%, transparent 100%); } }
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
You can’t perform that action at this time.