diff options
Diffstat (limited to 'sdnr/wt/devicemanager/provider/src/main/resources/elasticsearch/plugins/head/_site/base/reset.css')
-rw-r--r-- | sdnr/wt/devicemanager/provider/src/main/resources/elasticsearch/plugins/head/_site/base/reset.css | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/sdnr/wt/devicemanager/provider/src/main/resources/elasticsearch/plugins/head/_site/base/reset.css b/sdnr/wt/devicemanager/provider/src/main/resources/elasticsearch/plugins/head/_site/base/reset.css new file mode 100644 index 000000000..29a5f1b69 --- /dev/null +++ b/sdnr/wt/devicemanager/provider/src/main/resources/elasticsearch/plugins/head/_site/base/reset.css @@ -0,0 +1,44 @@ +BODY { + font-family: Verdana, sans-serif; + font-size: 73%; + padding: 0; + margin: 0; +} + +INPUT, SELECT, TEXTAREA { + border: 1px solid #cecece; + padding: 1px 3px; + background: white; +} + +SELECT { + padding: 0; +} + +.saf SELECT { + margin-top: 0; + margin-bottom: 0; +} + +TEXTAREA, CODE { + font-family: monospace; + font-size: 13px; +} + +BUTTON::-moz-focus-inner { + border: none; +} + +.pull-left { + float: left; +} + +.pull-right { + float: right; +} + +.loading { + background-image: url(loading.gif); + background-repeat: no-repeat; + text-indent: 20px; +} |