diff options
author | Luciano Iam <lucianito@gmail.com> | 2020-04-11 09:37:00 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2020-04-11 22:30:40 +0200 |
commit | c96e392f0fc252fd6ae8d4d91a950bed146a8d51 (patch) | |
tree | dcb9ec28945e8e6125d8b90f381acf73bc0bcbb9 /share/web_surfaces/index/main.css | |
parent | e82171ea1954c3e80040c063c401ceb0913b4dd3 (diff) |
WebSockets: prepare for developing a shared JS API client
Diffstat (limited to 'share/web_surfaces/index/main.css')
-rw-r--r-- | share/web_surfaces/index/main.css | 81 |
1 files changed, 81 insertions, 0 deletions
diff --git a/share/web_surfaces/index/main.css b/share/web_surfaces/index/main.css new file mode 100644 index 0000000000..3b330fa36f --- /dev/null +++ b/share/web_surfaces/index/main.css @@ -0,0 +1,81 @@ +@font-face { + font-family: 'junge-regular'; + src: url('junge-regular-webfont.woff') format('woff'), + url('junge-regular-webfont.ttf') format('truetype'); + font-weight: normal; + font-style: normal; +} + +html { + height: 100%; +} + +body { + font-family: 'junge-regular'; + font-size: 16px; + height: 100%; + margin: 0; +} + +div { + box-sizing: border-box; +} + +a { + color: #337ab7; + text-decoration: none; +} + +a:visited { + text-decoration: underline; +} + +a:focus, a:hover { + color: #23527c; + text-decoration: underline; +} + +h1, h2 { + font-weight: normal; +} + +h1 { + font-size: 1.8em; + margin: 0 0 2ex 0; + padding-bottom: .8ex; +} + +h2 { + font-size: 1.3em; + margin: 2ex 0 1ex 0; +} + +#top-bar { + background: #212a30; + padding: 4px; +} + +#logo { + height: 36px; + margin: 8px 8px 0 8px; +} + +#content { + padding: 24px; +} + +#index h2 { + border-bottom: 2px solid #ddd; +} + +.surface-list { + margin-bottom: 6ex; +} + +.surface-list > ul { + list-style-type: none; +} + +.surface-list > ul > li { + margin: 4ex 0; +}
\ No newline at end of file |