Upgrade to elm 0.17.1

1 files changed, 0 insertions, 171 deletions

diff --git a/design/design.css b/design/design.css
deleted file mode 100644
index 7602c7d..0000000
--- a/design/design.css
+++ /dev/null
@@ -1,171 +0,0 @@
-/**************/
-/* Header bar */
-/**************/
-
-.headerBar {
-  background-color: #111111;
-  font-size: 70px;
-  box-shadow: 0px 2px 2px grey;
-  min-width: 1020px;
-  margin-bottom: 2px;
-}
-
-.headerBar > button {
-  background-color: #111111;
-  color: white;
-  height: 150px;
-  line-height: 150px;
-  font-size: 70px;
-  border: none;
-  font-family: "DejaVu Serif";
-  transition: color 0.4s ease;
-}
-
-.headerBar > button:focus {
-  background-color: #222222;
-}
-
-.headerBar > button.title {
-  letter-spacing: 12px;
-  padding: 0 50px;
-}
-
-.headerBar > button.addTimer {
-  float: right;
-  padding: 0 50px;
-}
-
-.headerBar > button:hover,
-.headerBar > button:hover {
-  color: #CCCC88;
-  border-color: #CCCC88;
-}
-
-.headerBar > button {
-  background-color: #111111;
-  color: white;
-  height: 150px;
-  line-height: 150px;
-  font-size: 70px;
-  border: none;
-  font-family: "DejaVu Serif";
-  transition: color 0.4s ease;
-}
-
-.headerBar > button:focus {
-  background-color: #222222;
-}
-
-.headerBar > button.title {
-  letter-spacing: 12px;
-  padding: 0 50px;
-}
-
-.headerBar > button.addTimer {
-  float: right;
-  padding: 0 50px;
-}
-
-.headerBar > button:hover,
-.headerBar > button:hover {
-  color: #CCCC88;
-  border-color: #CCCC88;
-}
-
-/**********/
-/* Timers */
-/**********/
-
-.timers {
-  text-align: center;
-  font-size: 30px;
-  display: table;
-  table-layout: auto;
-  margin-left: auto;
-  margin-right: auto;
-  width: 1020px;
-}
-
-.timer {
-  line-height: 140px;
-  height: 140px;
-  position: relative;
-  display: table-row;
-}
-
-.timer:nth-child(even) {
-  background-color: #FAFAFA;
-}
-
-.timer.isRinging:hover {
-  background-color: #FED5AE;
-}
-
-.timer .name,
-.timer .time,
-.timer button {
-  display: table-cell;
-}
-
-.timer button {
-  background-color: rgba(0, 0, 0, 0);
-  border: none;
-  width: 140px;
-  height: 140px;
-  font-size: 35px;
-  padding: 0px;
-  position: relative;
-}
-
-.timer button.remove {
-  color: #AA2222;
-}
-
-.timer:only-of-type button.remove {
-  color: grey;
-}
-
-.timer .name {
-  width: 400px;
-  letter-spacing: 2px;
-  cursor: text;
-}
-
-.timer .time {
-  width: 200px;
-  letter-spacing: 2px;
-  cursor: text;
-  border-radius: 0px;
-}
-
-.timer .progressBar {
-  background-color: darkgrey;
-  position: absolute;
-  left: 0;
-  top: 133px;
-  height: 10px;
-}
-
-.timer.isRunning .progressBar {
-  background-color: #CDE4C2;
-}
-
-.timer.isRinging .progressBar {
-  background-color: #FED5AE;
-}
-
-.timer:hover.isRinging .progressBar {
-  top: 0px;
-  height: 143px;
-  z-index: 1;
-  opacity: 0;
-  cursor: pointer;
-}
-
-.timer .edition.empty {
-  color: #DDDDDD;
-}
-
-.timer .edition:not(.empty) {
-  color: darkgrey;
-}