2017-09-29 18:29:36 +01:00
|
|
|
body {
|
|
|
|
overflow: hidden;
|
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
input {
|
|
|
|
width: 100%;
|
|
|
|
padding: 0;
|
2017-10-22 11:31:09 +01:00
|
|
|
font-family: "monospace", "Courier New";
|
2017-10-22 11:08:43 +01:00
|
|
|
font-size: 10pt;
|
|
|
|
color: black;
|
|
|
|
border: unset;
|
|
|
|
/* we currently have a border from the completions */
|
|
|
|
/* border-top: solid 1px lightgray; */
|
|
|
|
padding-left: 0.5ex;
|
2017-09-29 18:29:36 +01:00
|
|
|
}
|
|
|
|
|
2017-10-22 15:24:56 +01:00
|
|
|
img {
|
|
|
|
height: 1em;
|
|
|
|
width: 1em;
|
|
|
|
}
|
|
|
|
|
2017-10-09 12:09:23 -07:00
|
|
|
#completions {
|
2017-10-22 11:08:43 +01:00
|
|
|
background: white;
|
|
|
|
color: black;
|
2017-10-13 22:10:33 -07:00
|
|
|
display: inline-block;
|
2017-10-22 11:08:43 +01:00
|
|
|
font-size: 10pt;
|
2017-10-09 12:09:23 -07:00
|
|
|
height: auto;
|
2017-10-22 11:08:43 +01:00
|
|
|
/* line-height: 1.5em; */
|
2017-10-22 11:31:09 +01:00
|
|
|
font-family: "monospace", "Courier New";
|
2017-10-13 22:10:33 -07:00
|
|
|
overflow: hidden;
|
|
|
|
white-space: pre;
|
2017-10-09 12:09:23 -07:00
|
|
|
width: 100%;
|
2017-10-13 22:10:33 -07:00
|
|
|
z-index: 9998;
|
2017-10-22 11:08:43 +01:00
|
|
|
border-top: 1px solid lightgray;
|
2017-10-13 22:10:33 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
.url, a.url, a.url:link, a.url:visited {
|
2017-10-22 11:08:43 +01:00
|
|
|
background: white;
|
2017-10-13 22:10:33 -07:00
|
|
|
color: #d0ffd0 !important;
|
|
|
|
display: inline;
|
|
|
|
left: 50%;
|
|
|
|
overflow: hidden;
|
|
|
|
padding: 0 2px;
|
|
|
|
position: absolute;
|
|
|
|
text-decoration: none !important;
|
|
|
|
z-index: 9999;
|
|
|
|
}
|
|
|
|
|
2017-10-22 11:08:43 +01:00
|
|
|
/* Hide the URLs if the screen is small */
|
|
|
|
@media all and (max-width: 980px) {
|
|
|
|
.url, a.url, a.url:link, a.url:visited {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-10-13 22:10:33 -07:00
|
|
|
a.url:hover {
|
|
|
|
cursor: pointer;
|
|
|
|
text-decoration: underline !important;
|
2017-10-09 12:09:23 -07:00
|
|
|
}
|