Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Software
Shunting
Commits
fc673b1c
Commit
fc673b1c
authored
Sep 07, 2020
by
Thorsten Wißmann
🐧
Browse files
Avoid dummy href-attribute
parent
abbbc841
Changes
2
Hide whitespace changes
Inline
Side-by-side
smvinput.css
View file @
fc673b1c
...
...
@@ -96,6 +96,7 @@
font-size
:
1em
;
color
:
#eeeeec
;
text-decoration
:
none
;
cursor
:
pointer
;
}
.smvsection
>
.smvboxheader
:hover
{
...
...
src/NuSmvInput.elm
View file @
fc673b1c
...
...
@@ -358,7 +358,6 @@ viewSmvOptions model =
[
Html
.
a
[
HE
.
onClick
ToggleSmvOptions
,
HA
.
class
"
smvboxheader"
,
HA
.
href
"
javascript: ;"
]
[
Html
.
span
[
HA
.
class
"
smvhiddenindicator"
]
[]
,
Html
.
text
"
NuSMV Options"
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment