From de8f12d74faef5fa3f9e38d1340948cab2d06ea3 Mon Sep 17 00:00:00 2001 From: Georgios Andreadis Date: Wed, 1 Jul 2020 13:33:31 +0200 Subject: Manually generate IDs --- .../src/components/not-found/TerminalWindow.sass | 94 +++++++++++----------- 1 file changed, 47 insertions(+), 47 deletions(-) (limited to 'frontend/src/components/not-found/TerminalWindow.sass') diff --git a/frontend/src/components/not-found/TerminalWindow.sass b/frontend/src/components/not-found/TerminalWindow.sass index 4f51a77f..7f05335a 100644 --- a/frontend/src/components/not-found/TerminalWindow.sass +++ b/frontend/src/components/not-found/TerminalWindow.sass @@ -1,70 +1,70 @@ .terminal-window - width: 600px - height: 400px - display: block + width: 600px + height: 400px + display: block - position: absolute - top: 0 - bottom: 0 - left: 0 - right: 0 + position: absolute + top: 0 + bottom: 0 + left: 0 + right: 0 - margin: auto + margin: auto - -webkit-user-select: none - -moz-user-select: none - -ms-user-select: none - user-select: none - cursor: default + -webkit-user-select: none + -moz-user-select: none + -ms-user-select: none + user-select: none + cursor: default - overflow: hidden + overflow: hidden - box-shadow: 5px 5px 20px #444444 + box-shadow: 5px 5px 20px #444444 .terminal-header - font-family: monospace - background: #cccccc - color: #444444 - height: 30px - line-height: 30px - padding-left: 10px + font-family: monospace + background: #cccccc + color: #444444 + height: 30px + line-height: 30px + padding-left: 10px - border-top-left-radius: 7px - border-top-right-radius: 7px + border-top-left-radius: 7px + border-top-right-radius: 7px .terminal-body - font-family: monospace - text-align: center - background-color: #333333 - color: #eeeeee - padding: 10px + font-family: monospace + text-align: center + background-color: #333333 + color: #eeeeee + padding: 10px - height: 100% + height: 100% .segfault - text-align: left + text-align: left .sub-title - margin-top: 20px + margin-top: 20px .home-btn - margin-top: 10px - padding: 5px - display: inline-block - border: 1px solid #eeeeee - color: #eeeeee - text-decoration: none - cursor: pointer + margin-top: 10px + padding: 5px + display: inline-block + border: 1px solid #eeeeee + color: #eeeeee + text-decoration: none + cursor: pointer - -webkit-transition: all 200ms - -moz-transition: all 200ms - -o-transition: all 200ms - transition: all 200ms + -webkit-transition: all 200ms + -moz-transition: all 200ms + -o-transition: all 200ms + transition: all 200ms .home-btn:hover - background: #eeeeee - color: #333333 + background: #eeeeee + color: #333333 .home-btn:active - background: #333333 - color: #eeeeee + background: #333333 + color: #eeeeee -- cgit v1.2.3